Review: John Myhill, A System Which can Define Its Own Truth [Book Review]

Journal of Symbolic Logic 21 (3):319-319 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269125

Links

PhilArchive



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

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

A system which can define its own truth.Alonzo Church - 1950 - Fundamenta Mathematicae 37 (1):190--92.
Review: John Myhill, Remark on a System of Bernays. [REVIEW]Azriel Levy - 1964 - Journal of Symbolic Logic 29 (4):208-208.
Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Remark on a system of Bernays.John Myhill - 1963 - Journal of Symbolic Logic 28 (1):75-76.
A type-free system extending.John Myhill & Bob Flagg - 1989 - Annals of Pure and Applied Logic 43 (1):79-97.
Two Ways of Ontology in Modern Logic.John Myhill - 1952 - Review of Metaphysics 5 (4):639 - 655.
Extending the first-order theory of combinators with self-referential truth.Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (2):477-513.
Some Philosophical Implications of Mathematical Logic: I. Three Classes of Ideas.John Myhill - 1952 - Review of Metaphysics 6 (2):165 - 198.
Review: John Myhill, Creative Sets. [REVIEW]Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):73-76.
Review: Yehoshua Bar-Hillel, On Syntactical Categories. [REVIEW]John Myhill - 1950 - Journal of Symbolic Logic 15 (3):220-220.
Review: R. M. Martin, A Note on Nominalistic Syntax. [REVIEW]John Myhill - 1950 - Journal of Symbolic Logic 15 (2):153-153.
Review: John Myhill, Finitely Representable Functions. [REVIEW]Martin Davis - 1973 - Journal of Symbolic Logic 38 (1):157-158.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,425,536)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ungroundedness in Tarskian Languages.Saul A. Kripke - 2019 - Journal of Philosophical Logic 48 (3):603-609.

Add more citations

References found in this work

No references found.

Add more references