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

Other Versions

original Ferebee, Ann Singleterry (1968) "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". Journal of Symbolic Logic 33(2):290-291
edition Ferebee, Ann Singleterry (1968) "Review: Stephen Cole Kleene, Introduction to Metamathematics". Journal of Symbolic Logic 33(2):290-291

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,297

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.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.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
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.
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.
Il teorema di G¨ odel e la filosofia della mente.Aldo Antonelli - unknown

Analytics

Added to PP
2017-02-21

Downloads
31 (#581,584)

6 months
6 (#1,118,246)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Supervaluationism and Its Logics.Achille C. Varzi - 2007 - Mind 116 (463):633-676.
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 164 citations / Add more citations

References found in this work

No references found.

Add more references