proof theory Kitapları
Bu türde 26 kitap
Journey into Mathematics
Joseph J. Rotman
Cut Elimination in Categories
K. Dosen
The Structure of Proof
Michael L. O'Leary
Interactive theorem proving and program development
Yves Bertot
Extensional Gödel functional interpretation
Horst Luckhardt
Proof-theoretical coherence
Kosta Dosen
Mechanism, Mentalism and Metamathematics
J. Webb
Extensional Gödel functional interpretation
A framework for priority arguments
M. Lerman
On the estimation of the length of normal derivations
Luiz Carlos P. D. Pereira
Revolutions of Geometry Solutions Manual to Accompany Revolutions in Geometry Pure and Applied Mathematics A WileyInterscience Series of
Michael O'Leary
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting
100% mathematical proof
Rowan Garnier
Proof theory
Gaisi Takeuti
Logic for Concurrency and Synchronisation
R.J. De Queiroz
Proving in the Elementary Mathematics Classroom
Andreas J. Stylianides
An Introduction to the Language of Mathematics
Frédéric Mynard
Logic in algebraic form
William Craig
Automated development of fundamental mathematical theories
Art Quaife
Teaching And Learning Proof Across The Grades
Maria L. Blanton