22 found
Sort by:
  1. Erwin Engeler (1997). Maehara Shôji. Another Proof of Takeuti's Theorems on Skolem's Paradox. Journal of the Faculty of Science, University of Tokyo, Section I, Vol. 7 Part 5 (1958), Pp. 541–556. [REVIEW] Journal of Symbolic Logic 31 (4):659-659.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Erwin Engeler (1997). Maehara Shôji. Remark on Skolem's Theorem Concerning the Impossibility of Characterization of the Natural Number Sequence. Proceedings of the Japan Academy, Vol. 33 (1957), Pp. 588–590. [REVIEW] Journal of Symbolic Logic 31 (4):659-659.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Sergei Artemov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger & Albert Visser (1995). Preface. Annals of Pure and Applied Logic 75 (1-2):1.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Erwin Engeler (1995). Historical and Philosophical Background. In , The Combinatory Programme. Birkhäuser. 1--12.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Erwin Engeler (ed.) (1995). The Combinatory Programme. Birkhäuser.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Erwin Engeler & Gerhard Schwärzler (1995). An Algebraization of Hierarchical and Recursive Distributed Processes. In , The Combinatory Programme. Birkhäuser. 58--76.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Erwin Engeler (1978). Zum logischen Werk von Paul Bernays. Dialectica 32 (3‐4):191-200.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Erwin Engeler (1973). Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik. [REVIEW] Journal of Symbolic Logic 38 (3):518-519.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Erwin Engeler (1970). Geometry and Language. Dialectica 24 (1‐3):77-85.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Erwin Engeler (1970). Review: A. H. Lightstone, A. Robinson, On the Representation of Herbrand Functions in Algebraically Closed Fields. [REVIEW] Journal of Symbolic Logic 35 (1):148-149.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Erwin Engeler (1969). Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{Alpha Beta}$. [REVIEW] Journal of Symbolic Logic 34 (2):301-302.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Erwin Engeler & Helmut Röhrl (1969). On the Problem of Foundations of Category Theory. Dialectica 23 (1):58-66.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Erwin Engeler (1967). [Omnibus Review]. Journal of Symbolic Logic 32 (2):280-281.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Erwin Engeler (1967). Review: A. Ehrenfeucht, An Application of Games to the Completeness Problem for Formalized Theories. [REVIEW] Journal of Symbolic Logic 32 (2):281-282.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Erwin Engeler (1967). Review: Solomon Feferman, Some Recent Work of Ehrenfeucht and Fraisse. [REVIEW] Journal of Symbolic Logic 32 (2):282-282.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Erwin Engeler (1966). Review: Shoji Maehara, Remark on Skolem's Theorem Concerning the Impossibility of Characterization of the Natural Number Sequence. [REVIEW] Journal of Symbolic Logic 31 (4):659-659.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Erwin Engeler (1966). Review: Shoji Maehara, Another Proof of Takeuti's Theorems on Skolem's Paradox. [REVIEW] Journal of Symbolic Logic 31 (4):659-659.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Erwin Engeler (1962). Review: Shoji Maehara, Gaisi Takeuti, A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. [REVIEW] Journal of Symbolic Logic 27 (4):468-468.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Erwin Engeler (1961). Unendliche Formeln in Der Modelltheorie. Mathematical Logic Quarterly 7 (7‐10):154-160.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Erwin Engeler (1961). Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln. Mathematical Logic Quarterly 7 (11‐14):213-218.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Erwin Engeler (1959). Eine Konstruktion von Modellerweiterungen. Mathematical Logic Quarterly 5 (7‐13):126-131.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Erwin Engeler (1959). Äquivalenzklassen von n‐Tupeln. Mathematical Logic Quarterly 5 (14‐24):340-345.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation