Call Number (LC) Title Results
QA9.2 .R35 1982 Lectures on infinitary logic and logics of programs / 1
QA9.2 .S23 1999 Selected logic papers / 1
QA9.2 .S55 2013 Kigō ronrigaku kōgi : kiso riron, sokuron to kenron, chishikiron / 1
QA9.2 .T6 To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism / 1
QA9.2 .T68 2003 Lectures in logic and set theory /
Lectures in logic and set theory. 		3
QA9.2 .T68eb vol. 2 Lectures in logic and set theory. 1
QA9.2 .T87 2001eb Mathematical logic 1
QA9.2 .T87 2012 Alan Turing's systems of logic : the Princeton thesis / 1
QA9.2 .W48 1994 What is a logical system? / 1
QA9.2 .W48 1995 What is a logical system? / 1
QA9.25 Towards paraconsistent engineering /
Statistical inference via convex optimization : proofs from the inside out /
Reverse mathematics problems, reductions, and proofs / 		3
QA9.25 .E57 2006 Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / 1
QA9.25 .F66 2019 An invitation to applied category theory : seven sketches in compositionality / 2
QA9.25 .H56 2017 Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / 2
QA9.25 .O57 2008 Realizability : an Introduction to its Categorical Side. 2
QA9.25 .R48 2005 Reverse mathematics 2001
Reverse mathematics 2001 / 		2
QA9.25 .S75 2020 Reverse mathematics : proofs from the inside out / 1
QA9.3 .G65 2005 Propositional and predicate calculus : a model of argument / 1
QA9.3 -- H36 2009eb Handbook of Satisfiability : Handbook of Satisfiability. 1
QA9.3 .L45 Beginning logic / 3