Review: S. C. Kleene, Errata. Arithmetical Predicates and Function Quantifiers [Book Review]

Journal of Symbolic Logic 22 (4):375-375 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963945

Links

PhilArchive



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

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

Review: S. C. Kleene, Arithmetical Predicates and Function Quantifiers. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):409-410.
Review: S. C. Kleene, Recursive Predicates and Quantifiers. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):32-34.
Review: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
On the general interpretation of first-order quantifiers.G. Aldo Antonelli - 2013 - Review of Symbolic Logic 6 (4):637-658.
Review: Stephen C. Kleene, Origins of Recursive Function Theory; Martin Davis, Why Godel Didn't have Church's Thesis; Stephen C. Kleene, Reflections on Church's Thesis. [REVIEW]Stewart Shapiro - 1990 - Journal of Symbolic Logic 55 (1):348-350.
Review: S. C. Kleene, Recursive Functionals and Quantifiers of Finite Types I. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.
Predicate provability logic with non-modalized quantifiers.Giorgie Dzhaparidze - 1991 - Studia Logica 50 (1):149 - 160.
Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals. [REVIEW]H. E. Vaughan - 1946 - Journal of Symbolic Logic 11 (4):127-127.
Review: S. C. Kleene, Hierarchies of Number-Theoretic Predicates. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
Review: S. C. Kleene, Recursive Functionals and Quantifiers of Finite Types II. [REVIEW]Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):146-146.
Minimalism, fiction and ethical truth.Graham Oppy - manuscript
Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals (Second Paper). [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):410-411.
Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (4):341-342.
Elimination of Skolem functions for monotone formulas in analysis.Ulrich Kohlenbach - 1998 - Archive for Mathematical Logic 37 (5-6):363-390.
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,820,130)

6 months
1 (#1,241,711)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references