Sur une Extension de la Polyrelation et des Parentés Tirant son Origine du Calcul Logique de kème Échelon

&
Journal of Symbolic Logic 25 (3):285-286 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964723

Other Versions

No versions found

Links

PhilArchive



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

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: Roland Fraisse, Sur une Extension de la Polyrelation et des Parentes Tirant son Origine du Calcul Logique de keme Echelon; Rene de Possel, Roland Fraisse, Hypotheses de la Theorie des Relations qui Permettent d'Associer, a un bon ordre d'un ensemble, un bon ordre, defini sans ambiguite, de l'ensemble de ses parties; A. Tarski, A. Mostowski, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-286.
Fraïssé Roland. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 45–50.Tarski A.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 50.de Possel René and Fraïssé Roland. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 5. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-285.
Logique mathématique: textes.Jean Largeault - 1972 - Paris,: A. Colin.
Calcul en logique du premier ordre.Yves Bouchard - 2015 - Québec (Québec): Presses de l'Université du Québec.
Sur l'Extension du Calcul des Relations Binaires au Calcul des Matrices à Éléments dans une Algèbre de Boole Complète.Jacques Riguet - 1956 - Journal of Symbolic Logic 21 (4):397-398.
On independence-friendly fixpoint logics.J. C. Bradfield - 2004 - Philosophia Scientiae 8 (2):125-144.
On independence-friendly fixpoint logics.J. C. Bradfield - 2004 - Philosophia Scientiae 8 (2):125-144.
Application des γ‐operateurs au Calcul Logique du Premier Echelon.Roland Fraïssé - 1956 - Mathematical Logic Quarterly 2 (5-7):76-92.
Die Sonderstellung der Logik-Kalküle im Bereich der elementaren logistischen Kalkülforschung.Heinrich Scholz - 1937 - Travaux du IXe Congrès International de Philosophie 6:40-42.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,751,380)

6 months
3 (#1,471,455)

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