Your search returned 2 results.

Results
	1.		Computability and randomness / André Nies. by Nies, André Series: Oxford logic guides ; 51 Publication details: New York : Oxford University Press, 2009 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Central Library المكتبة المركزية (1). Add to cart (remove)
	2.		Interpolation and definability : modal and intuitionistic logics / D.M. Gabbay, L.Maksimova. by Gabbay, Dov M, 1945- Maksimova, L. L. (Larisa Lʹvovna) Series: Oxford logic guides ; 46 Publication details: Oxford ; New York : Clarendon Press, 2005 Availability: Items available for loan: Central Library المكتبة المركزية (1). Add to cart (remove)

Refine your search