Holy Name University Library catalog › Results of search for 'su:"Proof theory"'

Search

Your search returned 8 results.

	1.	Proof and the art of mathematics : examples and extensions / Joel David Hamkins. by Hamkins, Joel David [author.]. Publisher: Cambridge, Massachusetts : The MIT Press, 2021Availability: No items available Checked out (1). Place hold
	2.	A bridge to higer mathematics / Valentin Deaconu, University of Nevada, Reno, USA, Donald C. Pfaff, University of Nevada, Reno, USA. by Deaconu, Valentin \| Pfaff, Donald C. (Donald Chesley). Boca Raton, Florida, USA : CRC Press, Taylor & Francis Group, ©2017Availability: Items available for loan: College Library [Call number: CAS 511.36/D34] (1). Place hold
	3.	The nuts and bolts of proofs : an introduction to mathematical proofs / Antonella Cupillari. by Cupillari, Antonella. Edition: Fourth edition.Amsterdam ; Boston : Elsevier Academic Press, ©2013Availability: Items available for loan: College Library [Call number: CAS 511.36/C92] (1). Place hold
	4.	Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers. by Rodgers, Nancy, 1941-. New York : Wiley, c2000Online access: Contributor biographical information \| Publisher description \| Table of Contents Availability: Items available for loan: High School Library [Call number: HS 511.3/R616] (1). Place hold
	5.	Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers. by Rodgers, Nancy, 1941-. New York : Wiley, c2000Online access: Contributor biographical information \| Publisher description \| Table of Contents Availability: No items available
	6.	The nuts and bolts of proofs : an introduction to mathematical proofs / Antonella Cupillari. by Cupillari, Antonella. Edition: Fourth edition.Amsterdam ; Boston : Elsevier Academic Press, ©2013Availability: No items available
	7.	A bridge to higer mathematics / Valentin Deaconu, University of Nevada, Reno, USA, Donald C. Pfaff, University of Nevada, Reno, USA. by Deaconu, Valentin \| Pfaff, Donald C. (Donald Chesley). Boca Raton, Florida, USA : CRC Press, Taylor & Francis Group, ©2017Availability: No items available
	8.	Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. by Logic Colloquium (1997 : Leeds, England) \| Cooper, S. B. (S. Barry) [editor.] \| Truss, J. K [editor.] \| Association for Symbolic Logic [host institution.]. Publisher: Cambridge : Cambridge University Press, 1999Other title: Sets & Proofs.Online access: Click here to access online Availability: No items available