11 found
Order:
  1.  4
    Maurice L'Abbe (1953). Systems of Transfinite Types Involving Λ-Conversion. Journal of Symbolic Logic 18 (3):209 - 224.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2.  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  
  3.  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  
  4.  2
    Maurice L'Abbe (1959). Review: H. Hiz, A Warning About Translating Axioms. [REVIEW] Journal of Symbolic Logic 24 (3):246-246.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  4
    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
    Maurice L'Abbé (1953). Systems of Transfinite Types Involving Λ-Conversion. Journal of Symbolic Logic 18 (3):209-224.
    Direct download (5 more)  
     
    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.  0
    Maurice L'Abbe (1953). [Omnibus Review]. Journal of Symbolic Logic 18 (3):276-277.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  0
    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  
  10.  0
    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  
  11.  0
    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