Introduction to Metamathematics

Journal of Symbolic Logic 33 (2):290-291 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269890

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):333-333.
Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Kleene Stephen Cole. Introduction to metamathematics. North-Holland Publishing Co., Amsterdam, and P. Noordhoff, Groningen, 1952; D. van Nostrand Company, New York and Toronto 1952; X + 550 pp. [REVIEW]H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Kleene Stephen Cole. Introduction to metamathematics. Fourth printing of XIX 215. North-Holland Publishing Co., Amsterdam, P. Noordhoff Ltd., Groningen, and D. Van Nostrand Company, Princeton, Toronto, and New York, 1964, x + 550 pp. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Kleene Stephen Cole. Introduction to metamathematics. Sixth printing of XIX 215. Wolters-Noordhoff Publishing, Groningen, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1971, X + 550 pp. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):332-333.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
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.
Unvollständigkeit und Unentscheidbarkeit.Wolfgang Stegmüller - 1959 - Wien,: Springer.
Cambridge, Mass., 1967.[Kle52a] SC Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.[Kle52b] SC Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Memoirs of the AMS, 10, 1952.[KW84] J. Ketonen and R. Weyhrauch. A decidable fragment of predicate calculus. The Journal. [REVIEW]P. Martin-Lof & G. Mints - 1991 - Annals of Pure and Applied Logic 51:125-157.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Il teorema di G¨ odel e la filosofia della mente.Aldo Antonelli - unknown
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript

Analytics

Added to PP
2017-02-21

Downloads
28 (#572,733)

6 months
4 (#798,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Supervaluationism and Its Logics.Achille C. Varzi - 2007 - Mind 116 (463):633-676.
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.

View all 167 citations / Add more citations

References found in this work

No references found.

Add more references