Results of search for 'su:"Proof theory"' › Anna Centenary Library catalog

Results
	1.		Math proofs demystified : [a self-teaching guide] Stan Gibilisco by Gibilisco, Stan Publication details: New York McGraw-Hill ©2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 GIB.
	2.		Mathematical proofs : a transition to advanced mathematics Gary Chartrand, Albert D. Polimeni, Ping Zhang by Chartrand, Gary Polimeni, Albert D Zhang, Ping Edition: 2nd ed Publication details: Boston Pearson/Addison Wesley c2008 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 CHA.
	3.		Mathematical reasoning writing and proof Ted Sundstrom by Sundstrom, Theodore A Edition: 2nd ed Publication details: Upper Saddle River, NJ Pearson Prentice Hall c2007 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 SUN.
	4.		Numbers and proofs R.B.J.T. Allenby by Allenby, R. B. J. T Publication details: London ; New York Arnold ; Copublished in North, South, and Central America by John Wiley & Sons Inc 1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 ALL.
	5.		Proof and system-reliability edited by Helmut Schwichtenberg and Ralf Steinbrüggen by Schwichtenberg, Helmut Steinbrüggen, Ralf NATO Advanced Study Institute on Proof and System-Reliability (2001 : Marktoberdorf, Germany), North Atlantic Treaty Organization. Scientific Affairs Division Publication details: Dordrecht ; Boston Kluwer Academic Publishers c2002 Availability: Items available for loan: Anna Centenary Library (1)Call number: 003 SCH.
	6.		Proof theory : a selection of papers from the Leeds Proof theory programme, 1990 edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer by Aczel, Peter Simmons, Harold Wainer, S. S Leeds Proof Theory Programme (1990 : Leeds University) Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 ACZ.
	7.		Proof theory : history and philosophical significance edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen by Hendricks, Vincent F Jørgensen, Klaus Frovin Pedersen, Stig Andur Publication details: Dordrecht ; Boston Kluwer Academic Publishers c2000 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 HEN.
	8.		Proof theory and automated deduction by Jean Goubault-Larrecq and Ian Mackie by Goubault-Larrecq, Jean Mackie, I Publication details: Dordrecht ; Boston Kluwer Academic c1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 GOU.
	9.		Proof theory of modal logic edited by Heinrich Wansing by Wansing, Heinrich Publication details: Deventer ; Boston, MA Kluwer 1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 HEI.
	10.		The logic of provability George Boolos by Boolos, George Publication details: Cambridge Cambridge University Press 1993 Availability: Items available for loan: Anna Centenary Library (1)Call number: 160 BOO.
	11.		The moment of proof : mathematical epiphanies Donald C. Benson by Benson, Donald C Publication details: Oxford Oxford University Press 1999 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 BEN.
	12.		The nuts and bolts of proofs Antonella Cupillari by Cupillari, Antonella Edition: 3rd ed Publication details: Amsterdam ; Boston Elsevier / Academic Press c2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 CUP.
	13.		The unprovability of consistency : an essay in modal logic George Boolos by Boolos, George Publication details: Cambridge Cambridge University Press 1979 Availability: Items available for loan: Anna Centenary Library (1)Call number: 160 BOO.
	14.		Tracking reason : proof, consequence, and truth Jody Azzouni by Azzouni, Jody Publication details: Oxford Oxford University Press c2006 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 AZZ.
	15.		Utilizing problem structure in planning : a local search approach Jörg Hoffmann by Hoffmann, Jörg Publication details: Berlin Springer-Verlag c 2003 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 HOF.
	16.		Conjecture and proof Miklós Laczkovich by Laczkovich, Miklós Publication details: Washington, DC Mathematical Association of America c2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 LAC.
	17.		No cover image available Derivation and computation : taking the Curry-Howard correspondence seriously Harold Simmons by Simmons, Harold Publication details: Cambridge Cambridge University Press 2000 Availability: Items available for loan: Anna Centenary Library (1)Call number: 51 3 SIM.
	18.		Extending the frontiers of mathematics : inquiries into proof and augmentation Edward B. Burger by Burger, Edward B Publication details: Emeryville, CA Key College Publ 2007 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 BUR.
	19.		No cover image available Handbook of proof theory edited by Samuel R. Buss by Buss, Samuel R Publication details: Amsterdam Elsevier 1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 BUS.
	20.		How to read and do proofs : an introduction to mathematical thought processes Daniel Solow by Solow, Daniel Edition: 4th ed Publication details: Hoboken, NJ John Wiley c2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 SOL.
	21.		Introduction to mathematical proofs : a transition Charles E. Roberts, Jr by Roberts, Charles E Publication details: Boca Raton, FL CRC Press 2009 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 ROB.
	22.		Journey into mathematics: an introduction to Proofs Joseph J. Rotman by Rotman, Joseph J Publication details: Mineola, N.Y Dover Publications 2007 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 ROT.
	23.		Lectures on the curry-Howard isomorphism Morten Heine Sørensen, Paweł Urzyczyn by Sørensen, Morten Heine Urzyczyn, Paweł Edition: 1st ed Publication details: Amsterdam Elsevier c2006 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.326 SOR.
	24.		Logical foundations of proof complexity Stephen Cook, Phuong Nguyen by Cook, Stephen Nguyen, Phuong Publication details: Ithaca, NY ; New York, NY Association for Symbolic Logic ; Cambridge University Press 2010 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 COO.
	25.		No cover image available Basic proof theory A.S. Troelstra, H. Schwichtenberg by Troelstra, A. S Schwichtenberg, Helmut Edition: 2nd ed Publication details: Cambridge Cambridge University Press 1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 TRO.
	26.		No cover image available Basic proof theory A.S. Troelstra, H. Schwichtenberg by Troelstra, A. S Schwichtenberg, Helmut Edition: 2nd ed Publication details: Cambridge Cambridge University Press 1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 TRO.
	27.		Structural proof theory Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta by Negri, Sara Von Plato, Jan Publication details: Cambridge Cambridge University Press 2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: QA9.54 .N44 2001 511.3.
	28.		Structural proof theory Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta by Negri, Sara Von Plato, Jan Publication details: Cambridge Cambridge University Press 2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 NEG.
	29.		A transition to abstract mathematics : mathematical thinking and writing Randall B. Maddox by Maddox, Randall B Edition: 2nd ed Publication details: Amsterdam Elsevier / Academic Press c2009 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 MAD.
	30.		An introduction to mathematical reasoning : numbers, sets and functions Peter J. Eccles Publication details: Cambridge Cambridge Univeristy Press 1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 ECC.
	31.		An introduction to mathematical reasoning : numbers, sets, and functions Peter J. Eccles by Eccles, Peter J Publication details: Cambridge Cambridge Univeristy Press 1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 ECC.
	32.		Analysis : with an introduction to proof Steven R. Lay by Lay, Steven R Edition: 4th ed Publication details: Upper Saddle River, NJ Pearson Prentice Hall 2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 515 LAY.
	33.		Structural proof theory Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta by Negri, Sara Von Plato, Jan Publication details: Cambridge Cambridge University Press 2001 Availability: No items available.
	34.		Structural proof theory Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta by Negri, Sara Von Plato, Jan Publication details: Cambridge Cambridge University Press 2001 Availability: No items available.

Refine your search

Availability

Authors

Item types

Topics

Your search returned 34 results.

Find us on the map