Your search returned 2 results.

Results
	1.	Proofs and computations Helmut Schwichtenberg, Stanley S. Wainer by Schwichtenberg, Helmut Wainer, S. S Association for Symbolic Logic Series: Perspectives in logic Publication details: Ithaca, NY Cambridge New York Association for Symbolic Logic Cambridge University Press 2012 Online resources: Table of contents only Contributor biographical information Publisher description Availability: Items available for loan: IMAR (1)Call number: II 37310. Place hold Add to cart (remove)
	2.	Subsystems of second order arithmetic Stephen G. Simpson. by Simpson, Stephen G Association for Symbolic Logic Series: Perspectives in logic Edition: 2nd ed. Publication details: Cambridge ; New York Cambridge University Press 2009 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)

Refine your search