Review: Jean Porte, Une Simplification de la Theorie de Turing [Book Review]

Journal of Symbolic Logic 25 (2):162-162 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964220

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,369

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: Jean Porte, La Methode Formelle en Mathematique. [REVIEW]Steven Orey - 1959 - Journal of Symbolic Logic 24 (2):173-173.
Review: Jean Porte, Un Systeme de Postulats pour le Calcul des Predicats. [REVIEW]W. V. Quine - 1958 - Journal of Symbolic Logic 23 (1):41-41.
Review: Jean Porte, Systemes de Post, Algorithmes de Markov. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):239-240.
Review: Antonio Diego, Jean Porte, Luisa Iturrioz, Sur les Algebres de Hilbert. [REVIEW]C. G. McKay - 1970 - Journal of Symbolic Logic 35 (1):139-139.
CAVAILLÈS, Jean, Sur la logique et la théorie de la scienceCAVAILLÈS, Jean, Sur la logique et la théorie de la science.Jaromír Daněk - 1999 - Laval Théologique et Philosophique 55 (1):152-153.
Prover9's Simplification Explained Away.Paweł Garbacz - 2012 - Australasian Journal of Philosophy 90 (3):585 - 592.
Turing's golden: How well Turing's work stands today.Justin Leiber - 2006 - Philosophical Psychology 19 (1):13-46.
Review: Jean Porte, Schemas Pour le Calcul des Propositions Fonde sur la Conjonction et la Negation. [REVIEW]Hugues Leblanc - 1960 - Journal of Symbolic Logic 25 (2):179-180.
The deducibilities of S.Jean Porte - 1981 - Journal of Philosophical Logic 10 (4):409 - 422.
Review: Daniel Lacombe, Roger Apery, Maurice Frechet, Daniel Lacombe, Andre Lalande, Jean Porte, Jean Ullmo, Maurice Frechet, Les Idees Actuelles sur la Structure des Mathematiques; Daniel Lacombe, Expose Complementaire sur le Theoreme de Godel. [REVIEW]J. Barkley Rosser - 1959 - Journal of Symbolic Logic 24 (3):228-229.
The Metamathematics–Popperian Epistemology Connection and its Relation to the Logic of Turing's Programme.Jean-Roch Beausoleil - 1989 - British Journal for the Philosophy of Science 40 (3):307-322.
Antitheses in systems of relevant implication.Jean Porte - 1983 - Journal of Symbolic Logic 48 (1):97-99.
Congruences In Lemmon'S So:.Jean Porte - 1980 - Notre Dame Journal of Formal Logic 21 (October):672-678.

Analytics

Added to PP
2013-11-22

Downloads
14 (#996,583)

6 months
4 (#798,692)

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