Church Alonzo and Quine W. V.. Some theorems on definability and decidability [Book Review]

Journal of Symbolic Logic 18 (3):269-269 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267428

Links

PhilArchive



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

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: Alonzo Church, W. V. Quine, Some Theorems on Definability and Decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Some theorems on definability and decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
Review: W. V. Quine, Two Theorems about Truth-Functions. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):142-143.
Quine W. V.. Two theorems about truth-functions. Boletín de la Sociedad Matemática Mexicana, vol. 10 no. 1–2 , pp. 64–70. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):142-143.
Extensions of some theorems of Godel and church.I. Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication. pp. 230.
Quine W. V.. On natural deduction.Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):76-77.
Review: W. V. Quine, On Natural Deduction. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):76-77.
Una observación respecto de la paradoja de Quine sobre la modalidad.Alonzo Church - 1982 - Análisis Filosófico 2:25.
Quine W. V.. On existence conditions for elements and classes.Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):31-32.
Review: W. V. Quine, A Logistical Approach to the Ontological Problem. [REVIEW]Alonzo Church - 1939 - Journal of Symbolic Logic 4 (4):170-170.
Review: Willard V. Quine, Notes on Existence and Necessity. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):45-47.
Review: W. V. Quine, On Existence Conditions for Elements and Classes. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):31-32.
Review: Alonzo Church, A Formulation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Review: Andrew Ushenko, Dr. Quine's Theory of Truth-Functions. [REVIEW]Alonzo Church - 1942 - Journal of Symbolic Logic 7 (1):45-45.
Review: Alonzo Church, Schroder's Anticipation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (2):71-71.

Analytics

Added to PP
2016-06-30

Downloads
13 (#973,701)

6 months
3 (#880,460)

Historical graph of downloads
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