𝔖 Bobbio Scriptorium

✦ LIBER ✦

On the Original Gentzen Consistency Proof for Number Theory.by Paul Bernays; A. Kino; J. Myhill; R. E. Vesley

✍ Scribed by Review by: J. van Heijenoort

Book ID: 124972526
Publisher: Association for Symbolic Logic
Year: 1975
Tongue: English
Weight: 82 KB
Volume: 40
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272293

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a Number Theoretic Choice Schema and

On a Number Theoretic Choice Schema and its Relation to Induction.by Charles Parsons; A. Kino; J. Myhill; R. E. Vesley;Review of the Foregoing.by Charles Parsons;On n-Quantifier Induction.by Charles Parsons

✍ Review by: Helmut Schwichtenberg 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 205 KB

The Definition of Random Sequences.by Pe

The Definition of Random Sequences.by Per Martin-Löf;The Literature on von Mises' Kollectivs Revisited.by Per Martin-Löf;On the Notion of Randomness.by Per Martin-Löf; A. Kino; J. Myhill; R. E. Vesley

✍ Review by: Robert A. DiPaola 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 131 KB