New foundation of formal metamathematics

&
Journal of Symbolic Logic 3 (1):1-36 (1938)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267504

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

‘Metamathematics’ in Transition.Matthias Wille - 2011 - History and Philosophy of Logic 32 (4):333 - 358.
The metamathematics of algebraic systems, collected papers: 1936-1967.A. I. Malʹt︠s︡ev - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by Benjamin Franklin Wells.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Truth in constructive metamathematics.John Staples - 1978 - Notre Dame Journal of Formal Logic 19 (3):489-494.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
Incompleteness in intuitionistic metamathematics.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (3):323-358.
The Metamathematics–Popperian Epistemology Connection and its Relation to the Logic of Turing's Programme.Jean-Roch Beausoleil - 1989 - British Journal for the Philosophy of Science 40 (3):307-322.
Introductory formal logic of mathematics.Peter Harold Nidditch - 1957 - Glencoe, Ill.,: Free Press.

Analytics

Added to PP
2009-01-28

Downloads
36 (#443,637)

6 months
6 (#520,934)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Linguistic Analysis of Mathematics.Arthur F. Bentley - 1933 - Philosophical Review 42:643.

Add more references