- 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
Works by Maurice L'Abbe
16 found
Order:
- Systems of transfinite types involving λ-conversion.Maurice L'Abbé - 1953 - Journal of Symbolic Logic 18 (3):209 - 224.
- Hiż H.. A warning about translating axioms. The American mathematical monthly, vol. 65 pp. 613–614.Maurice L'abbé - 1959 - Journal of Symbolic Logic 24 (3):246-246.
- [Omnibus Review].Maurice L'Abbe - 1953 - Journal of Symbolic Logic 18 (3):276-277.Export citation
Bookmark - On the independence of Henkin's axioms for fragments of the propositional calculus.Maurice L'abbé - 1951 - Journal of Symbolic Logic 16 (1):43-45.
- Sobre la Substitucion de las Variables Funcionales en el Calculo Functional de Primer Orden.Maurice L'Abbe & Gonzalo Zubieta R. - 1951 - Journal of Symbolic Logic 16 (4):291.
- Turing A. M.. Practical forms of type theory.Maurice L'abbé - 1949 - Journal of Symbolic Logic 14 (1):67-68.
- Turing A. M.. Practical forms of type theory.Maurice L'Abbé - 1949 - Journal of Symbolic Logic 14 (3):182-182.
- Dopp Joseph. Leçons de logique formelle. Première partie. Logique aticienne. La logique desjugements prédicatifs. Éditions de l'lnstitut Supérieur de Philosophie, Louvain 1949, XI + 166 pp.Dopp Joseph. Leçons de logique formelle. Deuxième partie. Logique moderne I. Le calcul des propositions inanalysées. Éditions de l'lnstitut Supérieur de Philosophie, Louvain 1950, XI + 216 pp.Dopp Joseph. Leçons de logique formelle. Troisième partie. Logique moderne II. Logique des propositions à une ou plusieurs mentions d'objets. Éditions de l'lnstitut Supérieur de Philosophie, Louvain 1950, XVI + 274 pp. [Therein: Addenda et corrigenda to the first and second parts, pp. 272–274.]Dopp Joseph. Table des formules. Leçons de logique formelle, II et III, Annexe. Éditions de l'lnstitut Supérieur de Philosophie, Louvain, 15 pp. [REVIEW]Maurice L'Abbé - 1953 - Journal of Symbolic Logic 18 (3):276-277.
- Destouches-Février Paulette. Esquisse d'une Mathématique intuitioniste positive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 225 , pp. 1241–1243. [REVIEW]Maurice L'abbę - 1948 - Journal of Symbolic Logic 13 (3):163-164.
- Hiż Henri. Remarque sur le degré de complétude. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 223 , pp. 973–974. [REVIEW]Maurice L'Abbé - 1947 - Journal of Symbolic Logic 12 (2):57-58.
- Review: A. M. Turing, Practical Forms of Type Theory. [REVIEW]Maurice L'Abbé - 1949 - Journal of Symbolic Logic 14 (3):182-182.
- Review: Henri Hiz, Remarque sur le Degre de Completude. [REVIEW]Maurice L'Abbe - 1947 - Journal of Symbolic Logic 12 (2):57-58.
- Review: H. Hiz, A Warning about Translating Axioms. [REVIEW]Maurice L'abbé - 1959 - Journal of Symbolic Logic 24 (3):246-246.
- Review: Paulette Destouches-Fevrier, Esquisse D'Une Mathematique Intuitioniste Positive. [REVIEW]Maurice L'abbę - 1948 - Journal of Symbolic Logic 13 (3):163-164.
- Book Review: An Introduction to Deductive Logic by Hugues Leblanc. [REVIEW]Maurice L'Abbé - 1958 - Journal of Symbolic Logic 23 (2):210-212.
- Zubieta R. Gonzalo Sobre la substitución de las variables funcionales en el cáculo funcional de primer orden. Boletin de la Sociedad Matemática Mexicana, vol. 7 no. 1–2 , pp. 1–21. [REVIEW]Maurice L'Abbé - 1951 - Journal of Symbolic Logic 16 (4):291-291.
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-6d9b7f7c4c-67rzb uwo