29 found
Order:
  1. R. L. Vaught, Lars Svenonius, Erwin Engeler & Gebhard Fukrken (1970). Denumerable Models of Complete Theories. Journal of Symbolic Logic 35 (2):342-344.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  2.  4
    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)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Erwin Engeler & Helmut Röhrl (1969). On the Problem of Foundations of Category Theory. Dialectica 23 (1):58-66.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Erwin Engeler (1970). Formal Languages: Automata and Structures. Journal of Symbolic Logic 35 (4):594-595.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  2
    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)  
     
    Export citation  
     
    My bibliography  
  6.  2
    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)  
     
    Export citation  
     
    My bibliography  
  7. Erwin Engeler (1959). Eine Konstruktion von Modellerweiterungen. Mathematical Logic Quarterly 5 (7‐13):126-131.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  2
    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)  
     
    Export citation  
     
    My bibliography  
  9.  1
    Erwin Engeler (1959). Äquivalenzklassen von n‐Tupeln. Mathematical Logic Quarterly 5 (14‐24):340-345.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Erwin Engeler (1970). Geometry and Language. Dialectica 24 (1‐3):77-85.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  1
    Erwin Engeler (1967). [Omnibus Review]. Journal of Symbolic Logic 32 (2):280-281.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    Erwin Engeler (1961). Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln. Mathematical Logic Quarterly 7 (11‐14):213-218.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13. 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  
     
    Export citation  
     
    My bibliography  
  14. Erwin Engeler (1959). Eine Konstruktion von Modellerweiterungen. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):126-131.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Erwin Engeler (1995). Historical and Philosophical Background. In The Combinatory Programme. Birkhäuser 1--12.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  16. Erwin Engeler & Eidgenössische Technische Hochschule Zürich (1981). Logic of Programs Workshop, Eth Zürich, May-July 1979.
     
    Export citation  
     
    My bibliography  
  17. 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  
     
    Export citation  
     
    My bibliography  
  18. 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)  
     
    Export citation  
     
    My bibliography  
  19. Erwin Engeler (1959). Äquivalenzklassen Vonn-Tupeln. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):340-345.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. 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)  
     
    Export citation  
     
    My bibliography  
  21. 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  
     
    Export citation  
     
    My bibliography  
  22. Erwin Engeler (1973). Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik. [REVIEW] Journal of Symbolic Logic 38 (3):518-519.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  23. 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)  
     
    Export citation  
     
    My bibliography  
  24. 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.
     
    Export citation  
     
    My bibliography  
  25. Erwin Engeler (ed.) (1995). The Combinatory Programme. Birkhäuser.
  26. Erwin Engeler (1961). Unendliche Formeln in Der Modelltheorie. Mathematical Logic Quarterly 7 (7‐10):154-160.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27. Erwin Engeler (1961). Unendliche Formeln in Der Modelltheorie. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):154-160.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Erwin Engeler (1961). Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (11-14):213-218.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Erwin Engeler (1978). Zum logischen Werk von Paul Bernays. Dialectica 32 (3‐4):191-200.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography