Four studies in metamathematics
Studia Logica 23 (1) (1968)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesN. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Jean-Roch Beausoleil (1989). The Metamathematics-Popperian Epistemology Connection and its Relation to the Logic of Turing's Programme. British Journal for the Philosophy of Science 40 (3):307-322.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Judson Webb (1968). Metamathematics and the Philosophy of Mind. Philosophy of Science 35 (June):156-78.
Matthias Wille (2011). 'Metamathematics' in Transition. History and Philosophy of Logic 32 (4):333 - 358.
Helena Rasiowa (1963). The Mathematics of Metamathematics. Warszawa, Państwowe Wydawn. Naukowe.
Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
A. I. Malʹt͡sev (1971). The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967. Amsterdam,North-Holland Pub. Co..
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,684 of 549,671 )Recent downloads (6 months)1 ( #63,425 of 549,671 )How can I increase my downloads? |
My notes
Discussion
