21 found
Order:
  1.  7
    Maurice L'Abbe (1953). Systems of Transfinite Types Involving Λ-Conversion. Journal of Symbolic Logic 18 (3):209 - 224.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2.  18
    Maurice L'Abbé (1953). Systems of Transfinite Types Involving Λ-Conversion. Journal of Symbolic Logic 18 (3):209-224.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  3.  3
    Maurice L'Abbe (1949). Review: A. M. Turing, Practical Forms of Type Theory. [REVIEW] Journal of Symbolic Logic 14 (3):182-182.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4. Maurice L'Abbe (1959). Review: H. Hiz, A Warning About Translating Axioms. [REVIEW] Journal of Symbolic Logic 24 (3):246-246.
     
    Export citation  
     
    My bibliography  
  5.  6
    Maurice L'Abbé (1951). On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus. Journal of Symbolic Logic 16 (1):43-45.
  6.  2
    Andrzej Mostowski, W. V. Quine, Arthur Francis Smullyan, Virgil Hinshaw, Alonzo Church, Charles A. Baylis, Maurice L'Abbe, Max Black, Paul Bernays & David Nelson (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 63 (64).
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  1
    Maurice L'Abbe (1958). Review: William Kneale, The Province of Logic; Hugues Leblanc, An Introduction to Deductive Logic. [REVIEW] Journal of Symbolic Logic 23 (2):210-212.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Leon Henkin & Maurice L'Abbe (1971). Structures algebriques suggerees par la logique mathematique. Journal of Symbolic Logic 36 (2):337.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Maurice L'Abbé (1953). 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] Journal of Symbolic Logic 18 (3):276-277.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Maurice L'abbę (1948). 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] Journal of Symbolic Logic 13 (3):163-164.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Maurice L'abbé (1959). Hiż H.. A Warning About Translating Axioms. The American Mathematical Monthly, Vol. 65 Pp. 613–614. Journal of Symbolic Logic 24 (3):246.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Maurice L'Abbé (1947). 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] Journal of Symbolic Logic 12 (2):57-58.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Maurice L'Abbé (1958). Kneale William. The Province of Logic. Mind, N.S. Vol. 66 , P. 258. Corrections to the Preceding.Leblanc Hugues. An Introduction to Deductive Logic. John Wiley & Sons, New York 1955, and Chapman and Hall, London 1955, Xii + 244 Pp. [REVIEW] Journal of Symbolic Logic 23 (2):210-212.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Maurice L'Abbe (1953). [Omnibus Review]. Journal of Symbolic Logic 18 (3):276-277.
     
    Export citation  
     
    My bibliography  
  15. Maurice L'Abbe (1951). Review: Gonzalo Zubieta R., Sobre la Substitucion de las Variables Funcionales en el Calculo Functional de Primer Orden. [REVIEW] Journal of Symbolic Logic 16 (4):291-291.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Maurice L'Abbe (1947). Review: Henri Hiz, Remarque sur le Degre de Completude. [REVIEW] Journal of Symbolic Logic 12 (2):57-58.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Maurice L'Abbe (1948). Review: Paulette Destouches-Fevrier, Esquisse D'Une Mathematique Intuitioniste Positive. [REVIEW] Journal of Symbolic Logic 13 (3):163-164.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Maurice L'Abbe & Gonzalo Zubieta R. (1951). Sobre la Substitucion de las Variables Funcionales en el Calculo Functional de Primer Orden. Journal of Symbolic Logic 16 (4):291.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Maurice L'abbé (1949). Turing A. M.. Practical Forms of Type Theory. Journal of Symbolic Logic 14 (1):67-68.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. Maurice L'Abbé (1949). Turing A. M.. Practical Forms of Type Theory. Journal of Symbolic Logic 14 (3):182.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Maurice L'Abbé (1951). 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] Journal of Symbolic Logic 16 (4):291.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography