|
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 |
|
QA9.54 .E23 1997
|
An introduction to mathematical reasoning : numbers, sets, and functions / |
1 |
|
QA9.54 .E96 1996
|
An accompaniment to higher mathematics / |
1 |
|
QA9.54 .G572 1990
|
Proofs and types / |
1 |
|
QA9.54.G86 2011
|
Handbook of Mathematical Induction. |
1 |
|
QA9.54 .H35 1998
|
Handbook of proof theory / |
1 |
|
QA9.54 .I82
|
ISILC Proof Theory Symposium : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / |
1 |
|
QA9.54 .J478 2012
|
Proof Theory |
1 |
|
QA9.54 .L44 2020eb
|
The legacy of Kurt Schütte / |
1 |
|
QA9.54 .L56 2004
|
Linear logic in computer science / |
1 |
|
QA9.54 .M36 2021
|
An introduction to proof theory : normalization, cut-elimination, and consistency proofs / |
1 |
|
QA9.54 .O7413 1993
|
Complexity of proofs and their transformations in axiomatic theories / |
1 |
|
QA9.54 .P64 1989
|
Proof theory : an introduction / |
1 |
|
QA9.54.P77 1991eb
|
Proof Logic and Formalization. |
1 |
|
QA9.54 .S243 2014
|
On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis |
1 |
|
QA9.54 .S35 2010eb
|
Ways of proof theory / |
1 |
|
QA9.54 .S3813
|
Proof theory / |
1 |