"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory (2001)

Cached

Download Links

by Jeremy Avigad , Erich H. Reck
Citations:5 - 2 self

Documents Related by Co-Citation

1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
540 A Classical Introduction to Modern Number Theory – Kenneth Ireland, Michael Rosen - 1990
692 Introduction to metamathematics – S C Kleene - 1952
567 Untersuchungen über das logische Schließen – G Gentzen - 1935
408 Vulnerabilities Analysis – Matt Bishop - 1999
393 Modular elliptic curves and Fermat’s Last Theorem – Andrew John Wiles - 1995
387 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte der – K Gödel - 1931
264 Foundations of constructive mathematics – M J Beeson - 1980
251 A course on arithmetic – J P Serre - 1973