Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II

Journal of Symbolic Logic 21 (4):403-404 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268418

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1953 - Proceedings of the XIth International Congress of Philosophy 14:39-49.
Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta mathematicae, vol. 37 , pp. 265–285. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus.G. Kreisel - 1953 - Journal of Symbolic Logic 18 (2):180-181.
G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 , pp. 317–330. [REVIEW]Joan Rand Moschovakis - 1967 - Journal of Symbolic Logic 32 (2):282-283.
Review: G. Kreisel, On Weak Completeness of Intuitionistic Predicate Logic. [REVIEW]Joan Rand Moschovakis - 1969 - Journal of Symbolic Logic 34 (1):119-120.
G. Kreisel. On weak completeness of intuitionistic predicate logic. The journal of symbolic logic, vol. 27 no. 2 , pp. 139–158.Joan Rand Moschovakis - 1969 - Journal of Symbolic Logic 34 (1):119-120.
Review: G. Kreisel, A Variant to Hilbert's Theory of the Foundations of Arithmetic. [REVIEW]Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (3):304-306.

Analytics

Added to PP
2015-02-05

Downloads
3 (#1,729,833)

6 months
3 (#1,206,820)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.Gary Ebbs - 2015 - History and Philosophy of Logic 36 (4):346-366.

Add more citations

References found in this work

No references found.

Add more references