Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 1301 results
Sort by: relevance publication year

Chapter 5 Consistency Proofs

BOOK CHAPTER published 1975 in Proof Theory

INTERMEDIATE LOGICAL SYSTEMS

BOOK CHAPTER published 18 June 2001 in Structural Proof Theory

Bounds and permutations

BOOK CHAPTER published 27 July 2000 in Basic Proof Theory

Second-order logic

BOOK CHAPTER published 27 July 2000 in Basic Proof Theory

Color Plates

BOOK CHAPTER published 11 July 2023 in The Proof Stage

Chapter 4 Infinitary Logic

BOOK CHAPTER published 1975 in Proof Theory

Chapter 2 Peano Arithmetic

BOOK CHAPTER published 1975 in Proof Theory

Intensionale Funktionalinterpretation der Analysis

BOOK CHAPTER published 1975 in Lecture Notes in Mathematics

Authors: Justus Diller | Helmut Vogel

Normalfunktionen und Konstruktive Systeme von Ordinalzahlen

BOOK CHAPTER published 1975 in Lecture Notes in Mathematics

Authors: W. Buchholz

Types in Logic, Mathematics and Programming

BOOK CHAPTER published 1998 in Studies in Logic and the Foundations of Mathematics

Authors: Robert L. Constable

ACKNOWLEDGMENTS

BOOK CHAPTER published 11 July 2023 in The Proof Stage

BIBLIOGRAPHY

BOOK CHAPTER published 11 July 2023 in The Proof Stage

Harrop formulas

BOOK CHAPTER published 1971 in Proof Theory and Intuitionistic Systems

Authors: Bruno Scarpellini

Set Theory and Infinity

BOOK CHAPTER published 2019 in Undergraduate Texts in Mathematics

Authors: Calvin Jongsma

NOTES

BOOK CHAPTER published 11 July 2023 in The Proof Stage

Prologue

BOOK CHAPTER published 11 July 2023 in The Proof Stage

INDEX

BOOK CHAPTER published 11 July 2023 in The Proof Stage

From the Decision Problem to Church's Theorem

BOOK CHAPTER published 5 May 2015 in Computation, Proof, Machine

Topics in Graph Theory

BOOK CHAPTER published 2019 in Undergraduate Texts in Mathematics

Authors: Calvin Jongsma

Modal and linear logic

BOOK CHAPTER published 27 July 2000 in Basic Proof Theory