Call Number (LC) Title Results
QA9.46 Interpolation and definability : modal and intuitionistic logic / 1
QA9.46 .G37 2014 Kripke's worlds / 1
QA9.46.G664 2011eb Quantifiers Propositions Identity. 1
QA9.46 .I57 1985 Intensional mathematics / 1
QA9.47 .B76 1981 Brouwer's Cambridge lectures on intuitionism / 1
QA9.47 .D84 2000 Elements of intuitionism / 1
QA9.47 .M56 2000eb A short introduction to intuitionistic logic / 1
QA9.47 .O54 2008eb One hundred years of intuitionism (1907-2007) : the Cerisy conference / 1
QA9.5 Lambda Calculus with Types / 1
QA9.5 .A43 1998 Domains and lambda-calculi / 1
QA9.5 .B36 The lambda calculus : its syntax and semantics / 1
QA9.5 .B36 1984 The lambda calculus : its syntax and semantics / 1
QA9.5 .H56 1986 Introduction to combinators and [lambda]-calculus / 1
QA9.54 Axiomatic thinking.
Sequents and trees : an introduction to the theory and applications of propositional sequent calculi /
Theoremus : a student's guide to mathematical proofs /
Proving in the elementary mathematics classroom /
Ordinal analysis with an introduction to proof theory /
An introduction to mathematical proofs /
6
QA9.54 .A75 1993 Arithmetic, proof theory, and computational complexity / 1
QA9.54 .A99 2006eb Tracking reason : proof, consequence, and truth / 1
QA9.54 .B46 2000 The moment of proof : mathematical epiphanies / 1
QA9.54 .B55 2015eb Proof theory : sequent calculi and related formalisms / 1
QA9.54 .C67 2016eb Concepts of proof in mathematics, philosophy, and computer science / 1
QA9.54 .C86 2005 QA9.54 QA9.54.C86 2005 The Nuts and Bolts of Proofs. 1