Review: Jean Porte, Systemes de Post, Algorithmes de Markov [Book Review]

Journal of Symbolic Logic 24 (3):239-240 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Géostratégie de la recherche et de l'innovation.Alain-Marc Rieu - 2008 - Hermes 50:67-73.
Review: Henry W. Johnstone, Systemes Formels et Systemes Ontologiques. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):550-550.
Matérialisme Dialectique et Logique. Par Pierre Raymond. Collection Algorithmes. Paris, Maspéro, 1977. 182 p.Jean Largeault - 1978 - Dialogue 17 (3):562-566.
Review: Jean Porte, La Methode Formelle en Mathematique. [REVIEW]Steven Orey - 1959 - Journal of Symbolic Logic 24 (2):173-173.
Review: Jean Porte, Une Simplification de la Theorie de Turing. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):162-162.
Review: Laszlo Kalmar, Another Proof of the Markov-Post Theorem. [REVIEW]William W. Boone - 1958 - Journal of Symbolic Logic 23 (4):447-448.
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: Antonio Diego, Jean Porte, Luisa Iturrioz, Sur les Algebres de Hilbert. [REVIEW]C. G. McKay - 1970 - Journal of Symbolic Logic 35 (1):139-139.
Review: Alan Rose, Sur les Definitions de L'Implication et de la Negation dans Certains Systemes de Logique dont les Valeurs Forment des Treillis. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):250-250.
Review: A. A. Markov, Theory of Algorithms. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (1):77-79.
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.
Contourner les systèmes de traçabilité.Jean-Marc Manach - 2009 - Hermès: La Revue Cognition, communication, politique 53 (1):167.

Analytics

Added to PP
2013-11-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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