Search for 'su:"Proof Theory"'

Nuts and bolts of proofs

By Cupillari, Antonella. San Diego: Academic Press, 2001 . 148 p.; 23 cm.. 0121994511

Place Hold on Nuts and bolts of proofs

Mathematical thinking and writing

By Maddox, Randall B.. London: Harcourt, 2002 . 304 p.; 24 cm.. 0124649769

Place Hold on Mathematical thinking and writing

Adapting proofs-as-programs : the Curry-Howard protocol

By Crossley, John N.. New York: Springer, 2005 . xi, 420 p.; 24 cm.. 0387237593

Place Hold on Adapting proofs-as-programs : the Curry-Howard protocol

Accompaniment to higher mathematics

By Exner, George R.. New York: Springer-Verlag, 1996 . 198 p.; 24 cm.. 0387946179

Place Hold on Accompaniment to higher mathematics

Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990

By Aczel, Peter. Cambridge: Cambridge University Press, 1992 . x, 306 p.; 23 cm.. 0521054168

Place Hold on Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990

Linear logic in computer science

By Ehrhard, Thomas. Cambridge: Cambridge University Press, 2004 . x, 381 p.; 23 cm.. 0521608570

Place Hold on Linear logic in computer science

Software engineering 1 : abstraction and modelling.

By Bjorner, Dines. Berlin: Springer-Verlag, 2006 . xxxix, 711 p.; 24 cm.. 3540211497

Place Hold on Software engineering 1 : abstraction and modelling.

Memoirs of a proof theorist : godel and other logicians

By Passell, Nicholas. New Jersey: World Scientific Publishing Company, 2003 . xviii, 135 p.; 23 cm.. 9812382798

Place Hold on Memoirs of a proof theorist : godel and other logicians

Structure of proof with logic and set theory

By O'Leary, Michael L.. New Jersey: Prentice Hall, 2002 . xiv, 418 p.; 24 cm.. 9780130190772

Place Hold on Structure of proof with logic and set theory

Analysis with an introduction to proof

By Lay, Steven R.. New Jersey: Pearson, 2005 . x, 384 p.; 24 cm.. 9780131481010

Place Hold on Analysis with an introduction to proof

Moment of Proof

By Benson, Donald C.. New York: Oxford University Press, 2000 . 331 p.; 23 cm.. 9780195139198

Place Hold on Moment of Proof

Theorems, corollaries, lemmas, and methods of proof

By Rossi, Richard J.. Hoboken: Wiley, 2006 . xiii, 318 p.; 24 cm.. 9780470042953

Place Hold on Theorems, corollaries, lemmas, and methods of proof

Introduction to proof in abstract mathematics

By Wohlgemuth, Andrew. Mineola: Dover Publications, 2011 . xii, 366 p.; 24 cm.. 9780486478548

Place Hold on Introduction to proof in abstract mathematics

Three views of logic : mathematics, philosophy, and computer science

By Loveland, Donald W.. Princeton: Princeton University Press, 2014 . xv, 322 p.; 25 cm.. 9780691160443

Place Hold on Three views of logic : mathematics, philosophy, and computer science

Handbook of mathematical induction : theory and applications

By Gunderson, David S.. Boca Raton: Chapman & Hall/CRC, 2011 . xxv, 893 p.; 27 cm.. 9781420093643

Place Hold on Handbook of mathematical induction : theory and applications

Explanation and proof in mathematics : philosophical and educational perspectives

By Hanna, Gila. New York: Springer, 2009 . viii, 294 p.; 24 cm.. 9781441905758

Place Hold on Explanation and proof in mathematics : philosophical and educational perspectives

Proofs and fundamentals : a first course in abstract mathematics

By Bloch, Ethan D.. New York: Springer, 2011 . xxiv, 359 p.; 24 cm.. 9781441971265

Place Hold on Proofs and fundamentals : a first course in abstract mathematics

Extending the frontiers of mathematics : inquiries into proof and argumentation

By Burger, Edward B.. Hoboken: John Wiley & Sons, 2007 . xvi, 171 p.; 23 cm.. 9781597570428

Place Hold on Extending the frontiers of mathematics : inquiries into proof and argumentation

Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

By Saraswat, Vijay A. . New York: Springer-Verlag, 2003 . viii, 304 p.; 23 cm.. 9783540206323

Place Hold on Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

Hybrid logic and its proof-theory

By Brauner, Torben. Dordrecht: Springer, 2011 . xiii, 231 p.; 25 cm.. 9789400700017

Place Hold on Hybrid logic and its proof-theory

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.. Basel: Birkhauser Verlag, 2002 . xi, 112 p.; 24 cm.. 9780817642204

Place Hold on Handbook of Logic and Proof Techniques for Computer Science

Why is there philosophy of mathematics at all?

By Ian, Hacking. New York Cambridge University Press 2014 . xv, 290 p. 23 cm.. 9781107658158

Place Hold on Why is there philosophy of mathematics at all?

TeXas style introduction to proof

By Taylor, Ron. United States of America Mathematical Association of America 2017 . xiv, 159 p. 23 cm.. 9781939512130

Place Hold on TeXas style introduction to proof

Language, form, and logic : in pursuit of natural logic's holy grail

By Ludlow, Peter. Oxford : Oxford University Press, 2022 . ix, 429 p. ; 24 cm. 9780199591534

Place Hold on Language, form, and logic : in pursuit of natural logic's holy grail

Story of proof : logic and the history of mathematics

By Stillwell, John. Princeton : Princeton University Press, 2022 . xiv, 441 p. ; 25 cm. 9780691234366

Place Hold on Story of proof : logic and the history of mathematics

Introduction to proof through number theory

By Chow, Bennett. Providence : American Mathematical Society, 2023 . xviii, 442 p. ; 26 cm. 9781470470272

Place Hold on Introduction to proof through number theory