12 found
Sort by:
Disambiguations:
Luis E. Sanchis [9]Luis Elpidio Sanchis [3]
  1. Ignacio Angelelli, Robert Bull, Jean E. Rubin, F. Gonzalez Asenjo, John Thomas Canty, Luis Elpidio Sanchis, Nuel D. Belnap, George Goe, Wilson E. Singletary & Ivan Boh (2010). Introduction to the Fiftieth Anniversary Issues. Notre Dame Journal of Formal Logic 51 (1).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Luis E. Sanchis (1992). Recursive Functionals. North-Holland.
    This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Luis E. Sanchis (1987). Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus. Journal of Symbolic Logic 52 (1):243-275.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Luis E. Sanchis (1979). Reducibilities in Two Models for Combinatory Logic. Journal of Symbolic Logic 44 (2):221-234.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Luis E. Sanchis (1978). Hyperenumeration Reducibility. Notre Dame Journal of Formal Logic 19 (3):405-415.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Luis E. Sanchis (1973). Formally Defined Operations in Kripke Models. Notre Dame Journal of Formal Logic 14 (4):467-480.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Luis E. Sanchis (1971). A Generalization of the Gentzen Hauptsatz. Notre Dame Journal of Formal Logic 12 (4):499-504.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Luis E. Sanchis (1971). Review: Bruce Lercher, Strong Reduction and Normal Form in Combinatory Logic. [REVIEW] Journal of Symbolic Logic 36 (1):171-171.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Luis E. Sanchis (1970). Review: Gerold Stahl, Ideas Generales de la Lógica Combinatoria. [REVIEW] Journal of Symbolic Logic 35 (2):321-321.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Luis Elpidio Sanchis (1967). Functionals Defined by Recursion. Notre Dame Journal of Formal Logic 8 (3):161-174.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Luis E. Sanchis (1964). Types in Combinatory Logic. Notre Dame Journal of Formal Logic 5 (3):161-180.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Luis Elpidio Sanchis (1961). Nueva Demostracion de la Completicidad Funcional Del Calculo Proposicional Bivalente. Notre Dame Journal of Formal Logic 2 (1):33-40.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation