- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'E. Nauwelaerts'
944 found
Order:
- 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.
- Quine W. V.. Three grades of modal involvement. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 65–81. [REVIEW]A. R. Turquette - 1953 - Journal of Symbolic Logic 20 (2):168-169.Reprinted in Quine, W. V. O. 1966. The Ways of Paradox. (New York: Random House.).
- Apostel Leo. Modalités physiques et techniques. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 97–104. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (3):230-230.
- Max Black. The identity of indiscernibles. Mind, n.s. vol. 61 , pp. 153–164. Reprinted with minor changes in: Problems of analysis, Philosophical essays, by Max Black, Cornell University Press, Ithaca 1954, pp. 80–92, 292–293. - Gustav Bergmann. The identity of indiscernibles and the formalist definition of “identity.”Mind, n.s. vol. 62 , pp. 75–79. - N. L. Wilson. The identity of indiscernibles and the symmetrical universe. Mind, n.s. vol. 62 , pp. 506–511. - A. J. Ayer. The identity of indiscernibles. Actes du XIème Congrès International de Philosophie, Volume III, Métaphysique et ontologie, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 124–129. Reprinted in Philosophical essays by A. J. Ayer, St. Martin's Press, New York 1954, and Macmillan & Co., London 1954, pp. 26–35. - D. J. O'Connor. The identity of indiscernibles. Analysis , vol. 14 no. 5 , pp. 103–110. - Nicholas Rescher. The identity of indiscernibles: A reinterpretation. The. [REVIEW]Charles A. Baylis - 1956 - Journal of Symbolic Logic 21 (1):85-86.
- Holz Hans Heinz. Zutn Problem der Konstitution von Bedeutung. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 180–184.Alexander H. G.. Language and hypostatization. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 185–190.Dingler Hugo. Was ist Konventionalismus? Zum 50jährigen Jubiläum des Erscheinens der deutschen Ausgabe von Henri Poincarés Wissenschaft und Hypothese. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 199–204.Riabouchinsky Dimitri. La définition des nombre. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (1):57-58.
- 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.
- 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.
- 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.
- Crahay Franz. A propos d'une réduction fallacieuse des notions d'existence et de vérité. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 156–159. [REVIEW]Carl G. Hempel - 1955 - Journal of Symbolic Logic 20 (1):56-56.
- 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.
- 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.
- 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.
- 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.
- Philotheus Boehner. Der Stand der Ockham-Forschung. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham, edited by Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts, Louvain, and F. Schöningh, Paderborn, 1958, pp. 1–23. , pp. 12–31.). [REVIEW]Ernest A. Moody - 1964 - Journal of Symbolic Logic 29 (3):129-130.
- Philotheus Boehner. Ockham's Tractatus de praedestinatione et de praescientia Dei et de futuris contingentibus and its main problems. A reprint of VII 46. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham, edited by Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts, Louvain, and F. Schöningh, Paderborn, 1958, pp. 420–441. [REVIEW]Ernest A. Moody - 1964 - Journal of Symbolic Logic 29 (3):131-132.
- Behmann Heinrich. Die typenfreie Logik und die Modalität. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentalre et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 88–96. [REVIEW]Ronald Harrop - 1957 - Journal of Symbolic Logic 22 (3):326-326.
- 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.
- Löringhoff Bruno Baron von Freytag. Zur Logik als Lehre von Identität und Verschiedenheit. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 19–24. [REVIEW]A. N. Prior - 1955 - Journal of Symbolic Logic 20 (1):55-55.
- 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.
- McKinsey J. C. C. and Suppes Patrick. Philosophy and the axiomatic foundations of physics. Actes du XIème Congrès International de Philosophie, Volume VI, Philosophie et méthodologie des sciences de la nature, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 49–54. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (2):191-192.
- (1 other version)A. M. MacIver. Do words mean anything?Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 172–175. See corrigenda, ibid., Volume XIV, p. 328. [REVIEW]Noam Chomsky - 1955 - Journal of Symbolic Logic 20 (1):56-56.
- Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 , pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 , pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 , pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 , pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
- Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain. [REVIEW]Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):96-96.
- 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.
- 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 Fraisse - 1957 - Journal of Symbolic Logic 22 (3):300-300.
- Braithwaite Margaret Masterman. The pictorial principle in language. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Lou vain 1953, pp. 139–144. [REVIEW]R. N. Smart - 1957 - Journal of Symbolic Logic 22 (1):86-87.
- 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.
- Gilmore P. C.. Griss' criticism of the intuitionistic logic and the theory of order. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 98–104. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
- Philotheus Boehner. Ockham's theory of supposition and the notion of truth. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham, edited by Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts, Louvain, and F. Schöningh, Paderborn, 1958, pp. 232–267. [REVIEW]Ernest A. Moody - 1964 - Journal of Symbolic Logic 29 (3):130.
- Guillaume d'Ockham; Défense de l'Empire. Par G. de Lagarde. Paris et Louvain, Éditions Nauwelaerts, 1962: Pp. xi, 269. FB. 260. [REVIEW]W. E. L. Smith - 1963 - Dialogue 2 (2):232-234.
- (1 other version)Linke Paul F.. Die Implication als echte Wenn-so-Beziehung. Bemerkungen zu den “Fundamental-Paradoxien” der Logistik. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 146–150. [REVIEW]Roderick M. Chisholm - 1954 - Journal of Symbolic Logic 19 (1):67-67.
- L. O. Kattsoff. Ontology and the choice of languages. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 26-32. [REVIEW]Noam Chomsky - 1957 - Journal of Symbolic Logic 22 (4):394-395.
- (1 other version)Wilfrid Sellars. Mind, meaning, and behavior. Philosophical studies, vol. 3 , pp. 83–95. See Corrigenda, ibid., after table of contents for vols. 1–3. - Wilfrid Sellars. A semantical solution of the mind-body problem. Methodos, vol. 5 , pp. 45–82. - Silvio Ceccato. Discussione. Methodos, vol. 5 , pp. 83–84. - Karl R. Popper. Language and the body-mind problem. A restatement of interactionism. Actes du XIème Congrès International de Philosophie, Volume VII, Psychologie philosophique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 101–107. - Wilfrid Sellars. A note on Popper's argument for dualism. Analysis , vol. 15 no. 1 , pp. 23–24. - Karl R. Popper. A note on the body-mind problem. Reply to Professor Wilfrid Sellars. Analysis , vol. 15 no. 6 , pp. 131–135. [REVIEW]A. H. Basson - 1957 - Journal of Symbolic Logic 22 (1):88-89.
- di Forino Alfonso Caracciolo. Sur la construction du langage de la physique. Actes du XIème Congrès International de Philosophie, Volume VI, Philosophie et méthodologie des sciences de la nature, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 113–118. [REVIEW]Patrick Suppes - 1954 - Journal of Symbolic Logic 19 (2):149-150.
- Martin R. M.. On non-translational semantics. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 132–138. [REVIEW]George D. W. Berry - 1956 - Journal of Symbolic Logic 21 (1):90-91.
- 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.
- Pap Arthur. Analytic truth and “implicit definitions.” Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 151–155. [REVIEW]Carl G. Hempel - 1955 - Journal of Symbolic Logic 20 (1):55-55.
- H. Kesters: Kérygmes de Socrate. Essai sur la Formation du message Socratique. Pp. 176. Louvain: Éditions Nauwelaerts, 1965. Paper, 235 B.fr. [REVIEW]W. E. W. St G. Charlton - 1971 - The Classical Review 21 (2):292-292.
- (1 other version)Truth and Freedom. By Louis de Raeymaeker and other Professors of the University of Louvain. (Duquesne University, Pittsburgh, Editions E. Nauwelaerts, Louvain and Basil Blackwell, Oxford. Pp. vii + 133. Price 25s.). [REVIEW]Alan Montefiore - 1956 - Philosophy 31 (117):178-.No categories
- Edith Steins Werke. VI. Welt und Person. Beitrag zum christlichen Wahreitsstreben. E. Nauwelaerts Louvain, Freiburg, Herder, 1962, XXXI—197 pages. 155 frs beiges; relié, 210 frs. [REVIEW]Louis-B. Geiger - 1965 - Dialogue 3 (4):452-455.No categories
- 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.
- 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.
- 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.
- Myhill J. R.. Three contributions to recursive function theory. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 50–59. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):176-177.
- G. H. von Wright. A new system of modal logic. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 59–63. [REVIEW]Naoto Yonemitsu - 1954 - Journal of Symbolic Logic 19 (1):66-67.
- 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.
- 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.
- Fitch Frederic B.. Self-referential relations. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam, 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 121–127. [REVIEW]A. N. Prior - 1959 - Journal of Symbolic Logic 24 (3):240-240.
- 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.
- Heyting A.. Sur la t'che de la philosophie des mathématiques. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 193–198. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (3):225-225.
| 1 — 50 / 944 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2