41 found
Order:
  1.  14
    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   1 citation  
  2.  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  
  3.  14
    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  
  4.  14
    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  
  5. 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  
  6.  5
    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  
  7.  3
    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  
  8.  1
    Erwin Engeler (1967). Ehrenfeucht A.. An Application of Gaṁes to the Completeness Problem for Formalized Theories. Fundamenta Mathematicae, Vol. 49 , Pp. 129–141. [REVIEW] Journal of Symbolic Logic 32 (2):281-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   1 citation  
  10.  5
    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  
  11. Erwin Engeler (1970). Formal Languages: Automata and Structures. Journal of Symbolic Logic 35 (4):594-595.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  4
    Erwin Engeler (1970). Geometry and Language. Dialectica 24 (1‐3):77-85.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13. 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  
  14.  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  
  15.  2
    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  
  16.  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  
  17.  1
    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  
  18.  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  
  19.  1
    Erwin Engeler (1967). [Omnibus Review]. Journal of Symbolic Logic 32 (2):280-281.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. 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  
  21. Erwin Engeler & Shoji Maehara (1966). Another Proof of Takeuti's Theorems on Skolem's Paradox. Journal of Symbolic Logic 31 (4):659.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. Erwin Engeler (1967). Fraïssé Roland. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 , pp. 363–388.Possel René de and Fraïssé Roland. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 , pp. 940–942.Fraïssé Roland. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2109–2110.Fraïssé Roland. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2191–2193.Fraïssé Roland. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 , pp. [REVIEW] Journal of Symbolic Logic 32 (2):280-281.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Erwin Engeler (1967). Feferman Solomon. Some Recent Work of Ehrenfeucht and Fraïssé. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 201–209. [REVIEW] Journal of Symbolic Logic 32 (2):282.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Erwin Engeler (1995). Historical and Philosophical Background. In The Combinatory Programme. Birkhäuser 1--12.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  25. Erwin Engeler (1973). Hermes Hans. Einführung in Die Mathematische Logik. Klassische Prädikatenlogik. Second Edition, Revised and Expanded, of XXX 355. B. G. Teubner, Stuttgart 1969, 204 Pp. [REVIEW] Journal of Symbolic Logic 38 (3):518-519.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Erwin Engeler (1973). Hermes Hans. Einführung in Die Mathematische Logik. Klassische Prädikatenlogik. Third, Revised and Expanded Edition of XXX 355. B. G. Teubner, Stuttgart 1972, 206 Pp. [REVIEW] Journal of Symbolic Logic 38 (4):647.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. Erwin Engeler (1970). Lightstone A. H. And Robinson A.. On the Representation of Herbrand Functions in Algebraically Closed Fields. Journal of Symbolic Logic 35 (1):148-149.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Erwin Engeler (1969). Lopez-Escobar E. G. K.. An Interpolation Theorem for Denumerably Long Formulas. Fundamenta Mathematicae, Vol. 57 No. 3 , Pp. 253–257.Lopez-Escobar E. G. K.. Universal Formulas in the Infinitary Language Lαβ. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 13 , Pp. 383–388. [REVIEW] Journal of Symbolic Logic 34 (2):301-302.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Erwin Engeler & Eidgenössische Technische Hochschule Zürich (1981). Logic of Programs Workshop, Eth Zürich, May-July 1979.
     
    Export citation  
     
    My bibliography  
  30. 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  
  31. Erwin Engeler (1962). Maehara Shôji and Takeuti Gaisi. A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. Journal of the Mathematical Society of Japan, Vol. 13 , Pp. 357–370. [REVIEW] Journal of Symbolic Logic 27 (4):468.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. 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  
     
    Export citation  
     
    My bibliography  
  33. Erwin Engeler, A. H. Lightstone & A. Robinson (1970). On the Representation of Herbrand Functions in Algebraically Closed Fields. Journal of Symbolic Logic 35 (1):148.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. 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  
  35. 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  
  36. 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  
  37. Erwin Engeler & Shoji Maehara (1966). Remark on Skolem's Theorem Concerning the Impossibility of Characterization of the Natural Number Sequence. Journal of Symbolic Logic 31 (4):659.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. 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  
  39. 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  
  40. Erwin Engeler (ed.) (1995). The Combinatory Programme. Birkhäuser.
  41. G. Fuhrken & Erwin Engeler (1966). Aquivalenzklassen von n-Tupeln. Journal of Symbolic Logic 31 (3):504.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography