25 found
Order:
  1.  6
    Cours de logique mathématique. 3. Récursivité et constructibilité.Roland Fraïssé - 1975 - Gauthier-Villars Nauwelaerts.
  2.  9
    Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes Restreints.Roland Fraïssé - 1956 - Mathematical Logic Quarterly 2 (5‐7):59-75.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  21
    Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes Restreints.Roland Fraïssé - 1956 - Mathematical Logic Quarterly 2 (5-7):59-75.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  37
    Essai sur la logique de l'indeterminisme et la ramification de l'espace-temps.Roland Fraïssé - 1974 - Synthese 29 (1-4):27 - 54.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  33
    Application des γ‐operateurs au Calcul Logique du Premier Echelon.Roland Fraïssé - 1956 - Mathematical Logic Quarterly 2 (5-7):76-92.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  3
    Cours de logique mathematique..Roland Fraïssé - 1967 - Louvain,: E. Nauwelaerts.
    t. 1. Relation, formule logique, compacité, complétude.--t. 2. Théorie des modèles.--t. 3. Récursivité et constructibilité.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  7
    Halmos Paul R.. Algebraic logic, I. Monadic Boolean algebras. Compositio mathematica, vol. 12 , p. 217–249.Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):219-222.
  8.  8
    Halmos Paul R.. The basic concepts of algebraic logic. The American mathematical monthly, vol. 63 , pp. 363–387.Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):223-223.
  9.  4
    L'algèbre logique et ses rapports avec la théorie des relations.Roland Fraïssé - 1967 - Montréal,: les Presses de l'Université de Montréal.
  10. La Logique mathématique, les paradoxes et l'axiomatisation des théories.Roland FraÏssÉ - 1967 - Société Française de Philosophie, Bulletin 61 (4):125.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  18
    Une generalisation de l'ultraproduit.Roland Fraïssé - 1966 - Journal of Symbolic Logic 31 (2):235 - 244.
  12.  16
    Halmos Paul R.. Polyadic Boolean algebras. Proceedings of the National Academy of Sciences of the United States of America, vol. 40 , pp. 296–301. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):223-223.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    Halmos Paul R.. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 , pp. 430–470. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (4):448-449.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  7
    Halmos Paul R.. Algebraic logic IV. Equality in polyadic algebras. Transactions of the American Mathematical Society, vol. 86 , pp. 1–27. [REVIEW]Roland Fraïssé - 1959 - Journal of Symbolic Logic 24 (3):252-252.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    Halmos Paul R.. Predicates, terms, operations, and equality in polyadic Boolean algebras. Proceedings of the National Academy of Sciences of the United States of America, t. 42 , p. 130–136. [REVIEW]Roland Fraïssé - 1960 - Journal of Symbolic Logic 25 (2):168-168.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  19
    Riguet J.. Quelques applications de la théorie des relations binaires. Applications scientifiques de la logique mathématique, Acte du 2e Colloque International de Logique Mathématique, Paris — 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris 1954, et E. Nauwelaerts, Louvain 1954, p. 141–144. [REVIEW]Roland Fraïssé - 1957 - Journal of Symbolic Logic 22 (3):300-300.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  19
    Review: Jacques Riguet, Sur l'Extension du Calcul des Relations Binaires au Calcul des Matrices a Elements dans une Algebre de Boole Complete. [REVIEW]Roland Fraïssé - 1956 - Journal of Symbolic Logic 21 (4):397-398.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Review: J. Riguet, Quelques Applications de la Theorie des Relations Binaires. [REVIEW]Roland Fraisse - 1957 - Journal of Symbolic Logic 22 (3):300-300.
     
    Export citation  
     
    Bookmark  
  19.  10
    Riguet Jacques. Sur l'extension du calcul des relations binaires au calcul des matrices à éléments dans une algèbre de Boole complète. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , t. 238 , p. 2382–2385. [REVIEW]Roland Fraïssé - 1956 - Journal of Symbolic Logic 21 (4):397-398.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  16
    Review: Paul R. Halmos, Algebraic Logic II. Homogeneous Locally Finite Polyadic Boolean Algebras of Infinite Degree. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):222-223.
  21.  10
    Review: Paul R. Halmos, Polyadic Boolean Algebras. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):223-223.
  22.  14
    Review: Paul R. Halmos, Algebraic Logic, III. Predicates, Terms, and Operations in Polyadic Algebras. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (4):448-449.
  23.  11
    Review: Paul R. Halmos, The Basic Concepts of Algebraic Logic. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):223-223.
  24.  9
    Review: Paul R. Halmos, Algebraic Logic IV. Equality in Polyadic Algebras. [REVIEW]Roland Fraïssé - 1959 - Journal of Symbolic Logic 24 (3):252-252.
  25.  10
    Review: Paul R. Halmos, Predicates, Terms, Operations, and Equality in Polyadic Boolean Algebras. [REVIEW]Roland Fraïssé - 1960 - Journal of Symbolic Logic 25 (2):168-168.