Results for 'Equipe de Logique Mathématique'

1000+ found
Order:
  1.  8
    [Deuxième Colloque de Logique mathématique].Paulette Destouches-Février - 1953 - Revue Philosophique de la France Et de l'Etranger 143:88 - 91.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  2.  3
    Le Colloque de Logique mathématique.D. Dubarle - 1951 - Revue Philosophique De Louvain 49 (21):120-130.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. La crise de la raison et la logique. Conférences faites à l'Université de Liège dans le cadre des Échanges culturels belgo-néerlandais au mois de mai 1956 Collection de Logique mathématique.E. W. Beth - 1962 - Revue de Métaphysique et de Morale 67 (4):518-519.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Deuxième colloque de Logique mathématique.P. Destouches-février - 1953 - Revue Philosophique de la France Et de l'Etranger 143:88.
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Initiation à la logique, Collection de Logique Mathématique.R. P. Dubarle - 1962 - Revue de Métaphysique et de Morale 67 (4):517-518.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Éléments de Logique Mathématique.D. Dubarle - 1973 - Revista Portuguesa de Filosofia 29 (1):96-96.
     
    Export citation  
     
    Bookmark  
  7.  22
    Robert Feys. Modal Logics. Edited with Some Complements by Joseph Dopp. Collection de Logique Mathématique, Série B No. 4. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1965, XIV + 219 Pp. - J. Dopp. Editor's Foreword. Therein, Pp. V–VIII. [REVIEW]Gerald J. Massey - 1969 - Journal of Symbolic Logic 34 (3):501-502.
  8. Cours de Logique Mathématique.Roland Fraïssé - 1967 - Gauthier-Villars Nauwelaerts.
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  9.  10
    Antonio Diego. Sur les Algebres de Hilbert. With a Preface by Jean Porte. French Translation of XXXV 171 by Luisa Iturrioz. Collection de Logique Mathématique, Series A, No. 21. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, Viii + 55 Pp. [REVIEW]C. G. McKay - 1970 - Journal of Symbolic Logic 35 (1):139.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  16
    Kreisel G.. On the Concepts of Completeness and Interpretation of Formal Systems. Fundamenta Mathematicae, Vol. 39 , Pp. 103–127.Kreisel G.. Applications of Mathematical Logic to Various Branches of Mathematics. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 37–49.Robinson A. And Kreisel G.. Discussion. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, P. 50.Kreisel G.. Models, Translations, and Interpretations. Mathematical Interpretation of Formal Systems, Studies in Logic and the Foundations of Ma. [REVIEW]William Craig - 1959 - Journal of Symbolic Logic 24 (3):236-238.
  11.  8
    E. W. Beth. La crise de la raison et la logique. Conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgo-néerlandais au mois de Mai 1956. Collection de logique mathématique, ser. A no. 12. Photooffset from typewritten manuscript. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, title pages + 50 pp. [REVIEW]G. Kreisel - 1958 - Journal of Symbolic Logic 23 (1):35-37.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  14
    Roland Fraïssé. Cours de Logique Mathématique. Tome I. Relation, Formule Logique, Compacité, Complétude. Collection de Logique Mathématique, Série A, N° 23. Gauthier-Villars, Paris, Et E. Nauwelaerts, Louvain, 1967, XII + 186 P. [REVIEW]D. Ponasse - 1970 - Journal of Symbolic Logic 35 (4):580-580.
  13.  12
    Tarski Alfred. Introduction À la Logique. French Translation of XII 61 by Jacques A. Tremblay. Collection de Logique Mathématique, Série A No. 16. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1960, XV + 224 Pp. [REVIEW]Alfons Borgers - 1965 - Journal of Symbolic Logic 30 (2):236-237.
  14.  12
    A. Heyting. Logique Et Intuitionnisme. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, Pp. 75–82. - G. Kreisel, Abraham Robinson, Ingebrigt Johansson, Georges Kurepa, A. Heyting. Discussion. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25–30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, Pp. 82–83. [REVIEW]Leon Henkin - 1958 - Journal of Symbolic Logic 23 (1):33-33.
  15.  11
    Ladrière Jean. Les Limitations Internes des Formalismes. Étude Sur la Signification du Théorème de Gödel Et des Théorèmes Apparentés Dans la Théorie des Fondements des Mathématiques. Collection de Logique Mathématique, B II. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1957, XV + 715 Pp. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (3):270-270.
  16. Éléments de Logique Mathématique Théorie des Modèles.Georg Kreisel & J. L. Krivine - 1967 - Dunod.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17.  9
    Wang Hao and McNaughton Robert. Les Systèmes Axiomatiques de la Théorie des Ensembles. With a Preface by Destouches-Février P.. Collection de Logique Mathématique, Série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1953, 55 Pp. [REVIEW]Alfons Borgers - 1954 - Journal of Symbolic Logic 19 (1):64-64.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  9
    Dekker J. C. E.. Les Fonctions Combinatoires Et les Isols. Collection de Logique Mathématique, Série A, No. 22, Gauthiers-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 Pp. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-406.
  19.  8
    Lorenzen Paul. Dar, Aktual-Unendliche in der Mathematik. Philosophia naturalis, vol. 4 , pp. 1–11.Lorenzen Paul. Die Rolle der Logik in der Grundlagenkrisis der Analysis. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris–25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 65–73.Kurepa G., Kreisel G., Robinson A.. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris–25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 73–74. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  8
    Beth E. W.. Les Fondements Logiques des Mathématiques. With a Preface B y Destouches-Février P.. Collection de Logique Mathématique, Série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1950, 222 Pp. [REVIEW]I. L. Novak - 1951 - Journal of Symbolic Logic 16 (2):153-154.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  7
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  7
    Precis de Logique Mathematique.E. N. & I. M. Bochenski - 1951 - Journal of Philosophy 48 (1):25.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  7
    Curry H. B.. The Logic of Program Composition. Applications Scientifiques de la Logique Mathématique, Actes 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, and E. Nauwelaerts, Louvain 1954, Pp. 97–102. [REVIEW]George W. Patterson - 1957 - Journal of Symbolic Logic 22 (1):102-103.
  24.  7
    Dopp J.. Logiques Construites Par Une Méthode de Déduction Naturelle. Collection de Logique Mathématique, Série B, No. 3, E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1962, 191 Pp. [REVIEW]Dag Prawitz - 1969 - Journal of Symbolic Logic 34 (3):502-502.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  7
    Rose Alan. Caractérisation, au Moyen de la Théorie des Treillis, du Calcul de Propositions À Foncteurs Variables. Applications Scientifiques de la Logique Mathématique, Actes du 2° Colloque International de Logique Mathématique, Paris, 25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A, No. 5, Lithographed . Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 87–88. [REVIEW]Krister Segerberg - 1969 - Journal of Symbolic Logic 34 (1):121-121.
  26.  10
    Précis De Logique Mathématique.Joseph M. Bochenski - 1948 - Bussum, Pays-Bas, F. G. Kroonder.
  27.  6
    Bocheński I. M.. Précis de Logique Mathématique. Collection Synthese, No. 2. F. G. Kroonder, Bussum, The Netherlands, 1949, 90 Pp. [REVIEW]J. C. Cooley - 1950 - Journal of Symbolic Logic 15 (3):199-200.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  6
    Dequoy N.. Axiomatique Intuitionniste Sans Négation de la Géométrie Projective. Collection de Logique Mathématique, Série A. Offset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, 108 Pp. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  6
    Beth E. W.. Observations Métamathématiques Sur les Structures Simplement Ordonnées. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 29–35.Robinson A. And Beth E. W.. Discussion. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, P. 35. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (1):34-35.
  30.  5
    Freudenthal H.. Logique Mathématique Appliquée. Collection de Logique Mathématique, Série A, No. 14. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1958, Title Pages + 59 Pp. [REVIEW]James G. Renno - 1959 - Journal of Symbolic Logic 24 (3):256-256.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  5
    Dubarle Le R. P.. Initiation À la Logique. Collection de Logique Mathématique, Ser. A No. 13. “Tyme Offset.” Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, Title Pages + 91 Pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
  32.  6
    Reviews. Andrzej Grzegorczyk. Fonctions Récursives. Collection de Logique Mathématique, Série A, Nr. 17. Gauthier-Villars, Paris, Und E. Nauwelaerts, Louvain, 1961, 100 S. [REVIEW]Rózsa Péter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
  33.  4
    Sublet Jacques. Essai de Formalisation Complète du Raisonnement Mathématique Sur la Base de Trois Opérations. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris-25–30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 91–94. [REVIEW]Frederic B. Fitch - 1971 - Journal of Symbolic Logic 36 (4):675-675.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  3
    Curry Haskell B.. Leçons de Logique Algébrique. With a Preface by Robert Feys. Collection de Logique Mathématique, Série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1952, 163 Pp. [REVIEW]Hugo Ribeiro - 1954 - Journal of Symbolic Logic 19 (2):146-147.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  3
    E. W. Beth. Les Fondements Logiques des Mathématiques. Deuxième Édition Revue Et Augmentée. Collection de Logique Mathématique, A I. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1955, XV + 241 Pp. [REVIEW]Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (3):269-269.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  3
    Robinson Abraham. L'application de la Logique Formelle aux Mathématiques. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 51–63.Kurepa G., Kreisel G., Robinson A.. Discussion. Applications Scientifiques de la Logique Mathéatique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, P. 64. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (2):218-219.
  37.  2
    E. W. Beth. La Crise de la Raison Et la Logique. Conférences, Faites À l'Université de Liége Dans le Cadre des Échanges Culturels Belgo-Néerlandais au Mois de Mai 1956. Collection de Logique Mathématique, Ser. A No. 12. Photooffset From Typewritten Manuscript. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, Title Pages + 50 Pp. [REVIEW]G. Kreisel - 1958 - Journal of Symbolic Logic 23 (1):35-37.
  38.  3
    Review: I. M. Bochenski, Precis de Logique Mathematique. [REVIEW]J. C. Cooley - 1950 - Journal of Symbolic Logic 15 (3):199-200.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  1
    Henkin L.. La Structure Algébrique des Théories Matérmatiques. Collection de Logique Mathématique, Série A. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1956, 52 Pp. [REVIEW]Paul R. Halmos - 1957 - Journal of Symbolic Logic 22 (2):215-216.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. La critique de la raison et la logique, conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgonéerlandais au mois de mai 1956, collection de logique mathématique.E. W. Beth - 1957 - Les Etudes Philosophiques 12 (4):393-394.
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Initiation à la logique, Collection de Logique mathématique.R. P. Dubarle - 1958 - Les Etudes Philosophiques 13 (1):72-72.
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Précis de Logique Mathématique[REVIEW]N. E. - 1951 - Journal of Philosophy 48 (1):25-25.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Heyting A.. Les Fondements des Mathématiques. Intuitionnisme. Théorie de la Démonstration. Collection de Logique Mathématique, Ser. A No. 9. Dactyloffset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, Title Pages + 91 Pp. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):33-33.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Robinson Abraham. Théorie métamathématique des idéaux. Collection de logique mathématique, série A. Dactyl-offset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, 186 pp. [REVIEW]Paul R. Halmos - 1955 - Journal of Symbolic Logic 20 (3):279-281.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  14
    La logique mathématique: Et sa nouvelle phase de développement: Dans Les écrits de M. J. peano.G. Vailati - 1899 - Revue de Métaphysique et de Morale 7 (1):86 - 102.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46.  5
    La logique mathématique: De M. peano.Louis Couturat - 1899 - Revue de Métaphysique et de Morale 7 (5):616 - 646.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  47.  6
    Beth E. W.. Observations Concernant la Théorie de la Définition. Actes du Colloque de Mathématiques Réuni À Clermont À l'Occasion du Tricentenaire de la Mort de Blaise Pascal, 4–8 Juin 1962, Volume I, Introduction Et Logique Mathématique, Annales de la Faculté des Sciences de l'Université de Clermont, No. 7, Mathematiques, Part 1, Clermont-Ferrand 1962, Pp. 83–87. [REVIEW]Karel de Bouvère - 1975 - Journal of Symbolic Logic 40 (3):457-457.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Logique, mathématique et imagination dans la philosophie de Leibniz.David Rabouin - 2005 - Corpus: Revue de philosophie 49:165-198.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  32
    René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p. [REVIEW]Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):691-692.
  50.  15
    Maurice L'abbé. Structures Algébriques Suggérées Par la Logique Mathématique. Bulletin de la Société Mathématique de France, Vol. 86 , Pp. 299–314. [REVIEW]Leon Henkin - 1971 - Journal of Symbolic Logic 36 (2):337.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000