Proof theory
Top View
- Choice Principles in Constructive and Classical Set Theories
- The Number of Axioms
- The Theory of the Foundations of Mathematics - 1870 to 1940
- Revisiting Hilbert's “Non-Ignorabimus”
- Proof Theory Foundations and Applications
- Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics Francesca Poggiolesi
- Formal Proof—Theory and Practice John Harrison
- Philosophical Aspects of Proof Theory
- Logic and Proof Computer Science Tripos Part IB
- Unified Foundations for Mathematics
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF
- An Introduction to Proof Theory
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- Proof Theory and Constructive Mathematics - Anne S
- Natural Deduction
- Proof Theory: from Arithmetic to Set Theory
- Proof Theory of Martin-Löf Type Theory. an Overview La Théorie De La Preuve De La Théorie Des Types De Marin-Löf
- Gödel on Turing on Computability