Your search returned 23 results.

Results
	1.	The nuts and bolts of proofs. by Cupillari, Antonella Material type: Text; Format: print Publication details: Boston : PWS, 1993 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA9.54 . C86. Place hold Add to cart (remove)
	2.	An accompaniment to higher mathematics / George R. Exner. by Exner, George R Series: Undergraduate texts in mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 1996 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . E96. Place hold Add to cart (remove)
	3.	The moment of proof : mathematical epiphanies / Donald C. Benson. by Benson, Donald C Material type: Text; Format: print Publication details: New York : Oxford University Press, 1999 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . B46. Place hold Add to cart (remove)
	4.	Basic proof theory / A. S. Troelstra, H. Schwichtenberg by Troelstra, A. S., (Anne Sjerp) Schwichtenberg, Helmut, 1942- Series: Cambridge tracts in theoretical computer science ; 43 Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 2000 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . T76 2000. Place hold Add to cart (remove)
	5.	Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang by Chartrand, Gary Polimeni, Albert D, 1938- Zhang, Ping, 1957- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Addison-Wesley, 2003 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . C48 2003. Place hold Add to cart (remove)
	6.	Linear logic in computer science / edited by Thomas Ehrhard ... [et al.] by Ehrhard, Thomas, 1958- Series: London Mathematical Society lecture note series ; 316 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, U. K. : Cambridge University Press, 2004 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . L56 2004. Place hold Add to cart (remove)
	7.	Memoirs of a proof theorist : Godel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. by Takeuti, Gaisi, 1926- Edition: [Rev. ed.]. Material type: Text; Format: print ; Literary form: Not fiction Publication details: River Edge, NJ : World Scientific, 2003 Other title: Proof theorist Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . T2813 2003. Place hold Add to cart (remove)
	8.	Mathematical reasoning : writing and proof / Ted Sundstrom by Sundstrom, Theodore A Edition: 2nd ed. Material type: Text; Format: print Publication details: Upper Saddle River, NJ : Pearson Prentice Hall, 2006 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . S86 2007. Place hold Add to cart (remove)
	9.	Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang by Chartrand, Gary Polimeni, Albert D, 1938- Zhang, Ping, 1957- Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Pearson/Addison Wesley, c2008 Availability: Items available for loan: LIC(LABUAN INTERNATIONAL CAMPUS) (1)Location, call number: LIC General Collection QA9.54 . C48 2008. Place hold Add to cart (remove)
	10.	Introduction to mathematical proofs : a transition / Charles E. Roberts, Jr. by Roberts, Charles E, 1942- Series: Textbooks in mathematics Boca Raton, Fla Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Boca Raton : CRC Press, 2010 Availability: Not available: MAIN LIBRARY: In Cataloging (1). Add to cart (remove)
	11.	Teaching and learning proof across the grades : a K-16 perspective / edited by Despina A. Stylianou, Maria L. Blanton, Eric J. Knuth by Stylianou, Despina A Blanton, Maria L Knuth, Eric J National Council of Teachers of Mathematics Series: Studies in mathematical thinking and learning Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: New York : Routledge, 2009 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA8.7 . T42 2008. Place hold Add to cart (remove)
	12.	Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang by Chartrand, Gary Polimeni, Albert D, 1938- Zhang, Ping, 1957- Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Boston : Pearson, c2013 Availability: Items available for loan: LIC(LABUAN INTERNATIONAL CAMPUS) (1)Location, call number: LIC General Collection QA9.54 . C48 2013. MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . C48 2013. Place hold Add to cart (remove)
	13.	A transition to abstract mathematics : mathematical thinking and writing / Randall B. Maddox by Maddox, Randall B Maddox, Randall B. Mathematical thinking and writing Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Amsterdam ; Boston : Academic Press/Elsevier, c2009 Online resources: link to resource online. Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . M34 2009. Place hold Add to cart (remove)
	14.	The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan by Beck, Matthias Geoghegan, Ross, 1963- Series: Undergraduate texts in mathematics Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: New York : Springer, c2010 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . B43 2010. Place hold Add to cart (remove)
	15.	Handbook of mathematical induction : theory and applications / David S. Gunderson. by Gunderson, David S Series: CRC Press series on discrete mathematics and its applications Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Boca Raton, FL : CRC Press, c2011 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . G86 2011. Place hold Add to cart (remove)
	16.	Introduction to mathematical proof : a transition to advanced mathematics / Charles E. Roberts, Jr. by Roberts, Charles E, 1942- Series: Textbooks in mathematics (Boca Raton, Fla.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Boca Raton : CRC Press, Taylor & Francis Group, 2015 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . R63 2015. Place hold Add to cart (remove)
	17.	Understanding mathematical proof / John Taylor, Rowan Garnier by Taylor, John, 1957- Garnier, Rowan Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Boca Raton : Taylor & Francis, 2014 Online resources: link to resource online Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . T39 2014. Place hold Add to cart (remove)
	18.	How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow by Solow, Daniel Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Hoboken, N.J. : Wiley, c2010 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . S65 2010. Place hold Add to cart (remove)
	19.	Icons of mathematics : an exploration of twenty key images / Claudi Alsina, Roger B. Nelsen by Alsina, Claudi Nelsen, Roger B Series: Dolciani mathematical expositions ; no. 45 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Washington, D.C. : Mathematical Association of America, 2011 Online resources: Click here to access online Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA466 . A47 2011. Place hold Add to cart (remove)
	20.	The nuts and bolts of proofs : an introduction to mathematical proofs / Antonella Cupillari by Cupillari, Antonella Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Amsterdam ; Boston : Elsevier Academic Press, c2013 Online resources: Click here to access online Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA9.54 . C86 2013. Place hold Add to cart (remove)