32 found
Order:
Disambiguations
Roland Fraïssé [27]R. Fraïssé [7]
  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.  22
    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.  34
    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. Les axiomatiques sont-elles un jeu?R. Fraïssé - 1978 - Dialectica 32 (3):229.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  6
    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.
  11. 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  
  12.  22
    Les modeLes et l'algebre logique.R. Fraïssé - 1960 - Synthese 12 (2-3):197 - 201.
  13. La ramification selon Everett: une interprétation critiquée mais logiquement impeccable de la mécanique quantique.R. Fraisse - 1986 - International Logic Review 33:70-93.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  14. La Zérologie, une Recherche aux Frontières de la Logique et de l'Art; Application à la Logique des Relations de Base Vide.R. FraÏssÉ - 1982 - International Logic Review 26:67.
    No categories
     
    Export citation  
     
    Bookmark  
  15. Réflexions sur la Complétude selon Herbrand.R. FraÏssÉ - 1972 - International Logic Review 5:86.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  16.  18
    Une generalisation de l'ultraproduit.Roland Fraïssé - 1966 - Journal of Symbolic Logic 31 (2):235 - 244.
  17.  13
    Daniel Lacombe. Deux généralisations de la notion de récursivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 258 , p. 3141–3143. - Daniel Lacombe. Deux généralisations de la notion de récursivité relative. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 258 , p. 3410–3413. [REVIEW]R. Fraïssé - 1971 - Journal of Symbolic Logic 36 (3):536-537.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  17
    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  
  19.  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  
  20.  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  
  21.  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  
  22.  5
    Review: Daniel Lacombe, Deux généralisations de la notion de récursivité; Daniel Lacombe, Deux généralisations de la notion de récursivité relative. [REVIEW]R. Fraisse - 1971 - Journal of Symbolic Logic 36 (3):536-537.
  23.  20
    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  
  24.  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  
  25. 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  
  26.  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  
  27.  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.
  28.  11
    Review: Paul R. Halmos, Polyadic Boolean Algebras. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):223-223.
  29.  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.
  30.  12
    Review: Paul R. Halmos, The Basic Concepts of Algebraic Logic. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):223-223.
  31.  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.
  32.  11
    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.