Results for 'Editions Gauthier-Villars'

995 found
Order:
  1. Jja Mooij.Lobatschefsky Bolyai, Poincaré Cayley, Hilbert Pieri & Editions Gauthier-Villars - 1968 - In Jean-Louis Destouches, Evert Willem Beth & Institut Henri Poincaré (eds.), Logic and foundations of science. Dordrecht,: D. Reidel.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  58
    Book Symposium on Le concept d’information dans la science contemporaine: Cahiers de Royaumont, Les Éditions de Minuit/gauthier-villars 1965.Andrew Iliadis, Nandita Biswas Mellamphy, Jean-Hugues Barthélémy, Marc J. de Vries & Nathalie Simondon - 2016 - Philosophy and Technology 29 (3):269-291.
  3.  31
    Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 , pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250. [REVIEW]H. Jerome Keisler - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  4.  9
    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)  
     
    Export citation  
     
    Bookmark  
  5.  40
    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.
  6.  19
    Grize Jean-Blaise. Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle. Mathematiques et sciences de l'homme, no. 10. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1969, 90 pp.Grize Jean-Blaise. Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle. Second edition of the preceding. Mathématiques et sciences de l'homme, no. 10. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1972, 90 pp.Grize Jean-Blaise. Logique moderne. Fascicle II. Logique des propositions et des prédicats, tables de vérité et axiomatisation. Mathématiques et sciences de l'homme, no. 14. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1971, 79 pp.Grize Jean-Blaise. Logique moderne. Fascicle III. Implications, modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Leśniewski. Mathématiques et sciences de l'homme, no. 22. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1973. [REVIEW]James Gasser - 1992 - Journal of Symbolic Logic 57 (4):1484-1485.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    L'être et l'événement Alain Badiou Collection «L'ordre philosophique» Paris, Éditions du Seuil, 1988. 560 p. 220 FF.Yvon Gauthier - 1990 - Dialogue 29 (3):471-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  25
    Georges Cottier, Le désir de Dieu, sur les traces de saint Thomas. Paris, Parole et silence, 2002, 285 p.Pierre Gauthier - 2007 - Revue des Sciences Religieuses 81:269-271.
    Ce livre est une présentation de la philosophie de saint Thomas d’Aquin en confrontation avec le défi de la modernité. L’A. est bien placé pour cet acte à deux effets : présenter la pensée de saint Thomas, car sa formation dominicaine et la fréquentation assidue du Docteur angélique l’y ont préparé ; la présenter au défi de la modernité, puisqu’il a écrit d’autres ouvrages : Questions de la modernité (Paris, Fac éditions, 1985), Histoire et connaissance (Fribourg, Éd. universitaires, 1997), s..
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  24
    Iraj Nikseresht, Physique quantique. Origines, interprétations et critiques, Paris, Éditions Ellipses, 2005, 270 pages.Iraj Nikseresht, Physique quantique. Origines, interprétations et critiques, Paris, Éditions Ellipses, 2005, 270 pages. [REVIEW]Yvon Gauthier - 2006 - Philosophiques 33 (1):309-310.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  38
    L'Inconscient , édité par Henri Ey et A. Green. Bibliothèque neuro-psychiatrique de langue française. Desclée de Brouwer, Paris, 1966. 424 pages. [REVIEW]Yvon Gauthier - 1969 - Dialogue 7 (4):643-646.
  11.  13
    Contemporary Issues in Political Philosophy. Edited by William R. Shea and John King-Farlow. New York: Science History Publications. 1976. $3.95. 214 pages. [REVIEW]David Gauthier - 1979 - Dialogue 18 (3):432-440.
  12.  24
    Alain Badiou, Le Nombre et les nombres, Paris, Éditions du Seuil , 1990, 278 pages. [REVIEW]Yvon Gauthier - 1993 - Philosophiques 20 (1):204-205.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  12
    Claude-Paul Bruter, Comprendre les mathématiques. Les dix notions fondamentales, Paris: Éditions Odile Jacob, Flammarion, 1996, 293 p. Claude-Paul Bruter, Comprendre les mathématiques. Les dix notions fondamentales, Paris: Éditions Odile Jacob, Flammarion, 1996, 293 p. [REVIEW]Yvon Gauthier - 1997 - Horizons Philosophiques 8 (1):147-148.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  16
    Dialectique et Société, vol. 1: Introduction à une théorie générale du Symbolique Michel Freitag Genève: L'âge d'homme; Montréal: Editions Saint-Martin, 1986. 296 p. [REVIEW]Yvon Gauthier - 1986 - Dialogue 25 (3):573-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  18
    Entre science et réalité. La Construction sociale de quoi? Ian Hacking Traduit de l'anglais par Baudoin Jurdant Collection «Textes à l'appui» Paris, Éditions La Découverte, 2001, 299 p. [REVIEW]Yvon Gauthier - 2004 - Dialogue 43 (2):390-.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  19
    Entre science et réalité. La Construction sociale de quoi?Ian Hacking Traduit de l'anglais par Baudoin Jurdant Collection «Textes à l'appui» Paris, Éditions La Découverte, 2001, 299 p. [REVIEW]Yvon Gauthier - 2004 - Dialogue 43 (2):390-392.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  20
    Gilles-Gaston Granger, L'irrationnel. Paris : Éditions Odile Jacob, 1998, 286 p.Gilles-Gaston Granger, L'irrationnel. Paris : Éditions Odile Jacob, 1998, 286 p. [REVIEW]Yvon Gauthier - 1998 - Horizons Philosophiques 9 (1):139-141.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  12
    Gilles-Gaston Granger, La vérification, Paris, Éditions Odile Jacob, 1992, 314 pages.Gilles-Gaston Granger, La vérification, Paris, Éditions Odile Jacob, 1992, 314 pages. [REVIEW]Yvon Gauthier - 1993 - Philosophiques 20 (2):514-516.
  19.  24
    Has Man a Future? By Bertrand Russell. Penguin Books, Toronto, Longmans Canada Ltd. 1962, p. 128..60¢Nuclear Weapons and Christian Conscience. Edited by Walter Stein. London, Merlin Press. 1961, p. 151. $3.00. [REVIEW]David P. Gauthier - 1962 - Dialogue 1 (2):230-231.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  13
    Les Groupes de Lie Dans L’Œuvre de Hermann Weyl Traduction Et Commentaire de L’Article_ théorie de la représentation Des groupes continus semi-simples Par Des transformations linéaires _(1925-1926) Christophe eckes avec la collaboration d’amaury thuillier Nancy, presses universitaires de Nancy/éditions universitaires de Lorraine, 400 P. [REVIEW]Yvon Gauthier - 2014 - Dialogue 53 (4):758-760.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  26
    La logique de Charles Sanders Peirce. De l'algèbre aux Graphes. Par Pierre Thibaud, Éditions de l;'Université de Provence, Aix-en-Provence, 1975. 184 pages. [REVIEW]Yvon Gauthier - 1977 - Dialogue 16 (4):746-748.
  22.  21
    La Pensée de l'espace, Gilles Gaston Granger, Paris, Éditions Odile Jacob (Philosophie), 1999, 238 p.La Pensée de l'espace, Gilles Gaston Granger, Paris, Éditions Odile Jacob (Philosophie), 1999, 238 p. [REVIEW]Yvon Gauthier - 2001 - Horizons Philosophiques 12 (1):153-154.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  8
    La Parole Malheureuse. Par Jacques Bouveresse. Collection « Critique ». Éditions de Minuit, Paris, 1971, 475 pages. [REVIEW]Yvon Gauthier - 1972 - Dialogue 11 (3):480-481.
  24.  34
    Le théorème de Gödel. Traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer. Sources du savoir, Paris : Éditions du Seuil, 1989, 170 p.Le théorème de Gödel. Traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer. Sources du savoir, Paris : Éditions du Seuil, 1989, 170 p. [REVIEW]Yvon Gauthier - 1990 - Philosophiques 17 (1):157-159.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  2
    Dialectique et Société, vol. 1: Introduction à une théorie générale du SymboliqueMichel Freitag Genève: L''ge d'homme; Montréal: Editions Saint-Martin, 1986. 296 p. [REVIEW]Yvon Gauthier - 1986 - Dialogue 25 (3):573-575.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  14
    What Is Philo-Performance? A roundtable.Flore Garcin Marrou, Amalia Boyer, Charlotte Hess, Maria Kakogianni, Liza Kharoubi, Esa Kirkkopelto, Camille Louis, Marielle Pélisséro, Mélanie Perrier, Nadia Vadori-Gauthier & Aline Wiame - 2015 - Performance Philosophy 1 (1):148-160.
    This article is an edited transcript of the roundtable entitled “What is Philo-Performance?” that took place in Paris on 28 June 2014, within the framework of the “Theatre, Performance, Philosophy International Conference: Crossings and Transfers in Anglo-American Thought”. The conference was organized by Julien Alliot, Flore Garcin-Marrou, Liza Kharoubi and Anna Street from the LAPS, a French research group on performance philosophy.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  13
    L’édition des œuvres mathématiques au xixe siècle en Allemagne. L’exemple des Gesammelte Werke und wissenschaftlicher Nachlass de Bernhard Riemann.Emmylou Haffner - 2018 - Philosophia Scientiae 22:115-135.
    Cet article étudie l’édition des œuvres de mathématiciens au xixe siècle Je me concentre sur une étude de cas : l’édition des œuvres du mathématicien allemand B. Riemann, par R. Dedekind et H. Weber, publiées pour la première fois en 1876, puis republiées en 1892 et en 1902, par Teubner, et partiellement traduites en français en 1898 chez Gauthier-Villars. Pour l’édition des textes de mathématiciens au xixe siècle, les éditeurs ne sont plus historiens ou philologues, mais eux-mêmes des (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  6
    The Edition of Mathematical Works in 19th Century Germany. The example of Gesammelte Werke und wissenschaftlicher Nachlass by Bernhard Riemann.Emmylou Haffner - 2018 - Philosophia Scientiae 22:115-135.
    Cet article étudie l’édition des œuvres de mathématiciens au xixe siècle Je me concentre sur une étude de cas : l’édition des œuvres du mathématicien allemand B. Riemann, par R. Dedekind et H. Weber, publiées pour la première fois en 1876, puis republiées en 1892 et en 1902, par Teubner, et partiellement traduites en français en 1898 chez Gauthier-Villars. Pour l’édition des textes de mathématiciens au xixe siècle, les éditeurs ne sont plus historiens ou philologues, mais eux-mêmes des (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    Rougier Louis. Traité de la connaissance. Gauthier-Villars, Paris 1955, 450 p.Robert Blanché - 1972 - Journal of Symbolic Logic 37 (1):178-179.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  18
    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.
    Jean Ladrière. 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. - Volume 25 Issue 3.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  24
    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.
  32.  34
    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  
  33.  16
    De Malthus a Marx: L'Histoire aux Mains des Logiciens. Par J. F. Faure-Soulet. Préface de H. Guitton. Paris, Gauthier-Villars, 1970. [REVIEW]Maurice Lagueux - 1972 - Dialogue 11 (2):295-299.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  19
    Kunugui Kinjiro. Skolem-Löwenheim no teiri ni tuite . Kisokagaku, no. 30 , pp. 35–39.Denjoy Arnaud. L'énumération transfinie. Livre IV. Notes sur les sujets controversés. Gauthier-Villars, Paris 1954, title pages + pp. 773–971. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (1):95-96.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  56
    Faure Robert with the collaboration of LeGarff Nicole-Sylvie Guillot and Bloch Manue. Eléments de la recherche opérationnelle. Exposé succinct des méthodes, enrichi de 50 exercices et problèmes, presque tous résolus, et de 10 programmes en langage symbolique. Gauthier-Villars, Paris 1968, 317 pp. [REVIEW]H. B. Enderton - 1970 - Journal of Symbolic Logic 35 (3):483.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  13
    Nicolas Rouche. Recherche d'une algèbre logique continue. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 90–99. - Wolfe Mays. Cybernetic models and thought processes. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 103–110. - Henryk Greniewski. Logique et cybernétique. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 117–119. - M. O. Rabin and D. Scott. Finite automata and their decision problems. IBM journal of research and development, vol. 3 , pp. 114–125. - J. C. Shepherdson. The reduction of two-way automata to one-way automata. IBM journal of research and development, vol. 3 , pp. 198–200. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  8
    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.
  38.  10
    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.
  39.  14
    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)  
     
    Export citation  
     
    Bookmark  
  40.  16
    Solomon Feferman. Ordinals and functionals in proof theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 229–233. [REVIEW]Georg Kreisel - 1975 - Journal of Symbolic Logic 40 (4):625-626.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  21
    Information, Thermodynamique, Vie et Pensée. Par François Bonsack. Préface de Louis Couffignal. Paris, Gauthier-Villars, 1961, 191 pages. [REVIEW]Michel Ambacher - 1962 - Dialogue 1 (2):227-228.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  42.  24
    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.
  43.  13
    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)  
     
    Export citation  
     
    Bookmark  
  44.  18
    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)  
     
    Export citation  
     
    Bookmark  
  45.  26
    H. Jerome Keisler. Model theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 141–150. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648.
  46.  14
    Rabin Michael O.. Decidability and definability in second-order theories. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 239–244. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  12
    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.
  48.  16
    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.
  49.  28
    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.
  50.  16
    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)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 995