Your search returned 13 results.

Results
	1.		Image from Amazon.com	G�odel's incompleteness theorems [electronic resource] / Raymond M. Smullyan. by Smullyan, Raymond M ebrary, Inc Series: Oxford logic guides ; 19. Publication details: New York : Oxford University Press, 1992 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan. by Smullyan, Raymond M ebrary, Inc Series: Oxford logic guides ; 22. Publication details: New York : Oxford University Press, 1993 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Foundations without foundationalism [electronic resource] : a case for second-order logic. by Shapiro, Stewart, 1951- ebrary, Inc Series: Oxford logic guides ; 17. Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2000 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Introduction to logic and to the methodology of the deductive sciences [electronic resource] / by Alfred Tarski. by Tarski, Alfred Tarski, Jan ebrary, Inc Series: Oxford logic guides ; 24. Edition: 4th ed. / edited by Jan Tarski. Publication details: New York : Oxford University Press, 1994 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith. by Sambin, Giovanni Smith, Jan M ebrary, Inc Series: Oxford logic guides ; 36. \| Oxford science publications Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1998 Other title: 25 years of constructive type theory Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	6.		Image from Amazon.com	Category theory [electronic resource] / Steve Awodey. by Awodey, Steve, 1959- ebrary, Inc Series: Oxford logic guides ; 52. Edition: 2nd ed. Publication details: Oxford ; New York : Oxford University Press, 2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	7.		Image from Amazon.com	Foundations without foundationalism [electronic resource] : a case for second-order logic / Stewart Shapiro. by Shapiro, Stewart, 1951- Oxford eBooks Series: Oxford logic guides ; 17. \| Oxford science publications Publication details: Oxford : Clarendon, 1991 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	8.		Image from Amazon.com	Set theory [electronic resource] : Boolean-valued models and independence proofs / John L. Bell. by Bell, J. L. (John Lane) Oxford eBooks Series: Oxford logic guides ; 47. Edition: 3rd ed. Publication details: Oxford : Oxford University Press, 2005 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	9.		Image from Amazon.com	Category theory [electronic resource] / Steve Awodey. by Awodey, Steve, 1959- Oxford eBooks Series: Oxford logic guides ; 49. Publication details: Oxford : Clarendon, 2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	10.		Image from Amazon.com	Interpolation and definability [electronic resource] : modal and intuitionistic logic / D.M. Gabbay, L. Maksimova. by Gabbay, Dov M, 1945- Maksimova, L. L. (Larisa L�vovna) Oxford eBooks Series: Oxford logic guides ; 46. Publication details: Oxford : Oxford University Press, 2005 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	11.		Image from Amazon.com	Reductive logic and proof-search [electronic resource] : proof theory, semantics, and control / David J. Pym and Eike Ritter. by Pym, David J Ritter, Eike Oxford eBooks Series: Oxford logic guides ; 45. Publication details: Oxford : Clarendon, 2004 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	12.		Image from Amazon.com	From sets and types to topology and analysis [electronic resource] : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster. by Crosilla, Laura Schuster, Peter, 1966- Oxford eBooks Series: Oxford logic guides ; 48. Publication details: Oxford : Clarendon, 2005 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	13.		Image from Amazon.com	The structure of models of Peano arithmetic [electronic resource] / Roman Kossak, James H. Schmerl. by Kossak, Roman, 1953- Schmerl, J. H. (James Henry), 1940- Oxford eBooks Series: Oxford logic guides ; 50. Publication details: Oxford : Clarendon, 2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu