On a Problem of Henkin's

Journal of Symbolic Logic 19 (3):219-220 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268627

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

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

Kreisel G.. On a problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , pp. 405–406; also Indagationes mathematicae, vol. 15 , pp. 405–406. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.
Kreisel G.. On the interpretation of non-finitist proofs. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
G. Kreisel and Gerald E. Sacks. Metarecursive sets. The journal of symbolic logic, vol. 30 , pp. 318–338.Richard A. Platek - 1968 - Journal of Symbolic Logic 33 (4):622-623.

Analytics

Added to PP
2013-11-02

Downloads
68 (#313,862)

6 months
13 (#281,088)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.
Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.
Hierarchical Propositions.Bruno Whittle - 2017 - Journal of Philosophical Logic 46 (2):215-231.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references