Your search returned 5 results.

Results
	1.	Gödel's incompleteness theorems [electronic resource] / Raymond M. Smullyan. by Smullyan, Raymond M ebrary, Inc Series: Oxford logic guides ; 19. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York : Oxford University Press, 1992 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	2.	Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan. by Smullyan, Raymond M ebrary, Inc Series: Oxford logic guides ; 22. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York : Oxford University Press, 1993 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	3.	Foundations without foundationalism [electronic resource] : a case for second-order logic. by Shapiro, Stewart, 1951- ebrary, Inc Series: Oxford logic guides ; 17. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2000 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	4.	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. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York : Oxford University Press, 1994 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	5.	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 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1998 Other title: 25 years of constructive type theory Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)