35 found
Order:
  1.  40
    Shôji Maehara. Remark on Skolem's Theorem Concerning the Impossibility of Characterization of the Natural Number Sequence. Proceedings of the Japan Academy, Vol. 33 , Pp. 588–590.Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (4):659.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2.  17
    Denumerable Models of Complete Theories.R. L. Vaught, Lars Svenonius, Erwin Engeler & Gebhard Fukrken - 1970 - Journal of Symbolic Logic 35 (2):342-344.
  3.  24
    Roland Fraïssé. 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. - René de Possel and Roland Fraïssé. 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. - Roland Fraïssé. 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. - Roland Fraïssé. 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. - Roland Fraïssé. 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,. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):280-281.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  24
    A. H. Lightstone and A. Robinson. On the Representation of Herbrand Functions in Algebraically Closed Fields. The Journal of Symbolic Logic, Vol. 22 , Pp. 187–204.Erwin Engeler - 1970 - Journal of Symbolic Logic 35 (1):148-149.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  24
    Shôji Maehara. 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 , Pp. 541–556. [REVIEW]Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (4):659-659.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  12
    E. G. K. Lopez-Escobar. An Interpolation Theorem for Denumerably Long Formulas. Fundamenta Mathematicae, Vol. 57 No. 3 , Pp. 253–257. - E. G. K. Lopez-Escobar. 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]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  26
    Eine Konstruktion von Modellerweiterungen.Erwin Engeler - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):126-131.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  8.  32
    Another Proof of Takeuti's Theorems on Skolem's Paradox.Erwin Engeler & Shoji Maehara - 1966 - Journal of Symbolic Logic 31 (4):659.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  21
    Äquivalenzklassen Vonn-Tupeln.Erwin Engeler - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):340-345.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  10.  28
    Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln.Erwin Engeler - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (11-14):213-218.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  26
    Unendliche Formeln in Der Modelltheorie.Erwin Engeler - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):154-160.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  8
    Eine Konstruktion von Modellerweiterungen.Erwin Engeler - 1959 - Mathematical Logic Quarterly 5 (7‐13):126-131.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  13.  13
    On the Problem of Foundations of Category Theory.Erwin Engeler & Helmut Röhrl - 1969 - Dialectica 23 (1):58-66.
  14.  20
    Aquivalenzklassen von n-Tupeln.G. Fuhrken & Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (3):504.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  12
    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]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
  16.  20
    Zum logischen Werk von Paul Bernays.Erwin Engeler - 1978 - Dialectica 32 (3‐4):191-200.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  7
    Äquivalenzklassen von n‐Tupeln.Erwin Engeler - 1959 - Mathematical Logic Quarterly 5 (14‐24):340-345.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  18.  13
    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]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):282-282.
  19.  16
    Preface.Sergei Artemov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger & Albert Visser - 1995 - Annals of Pure and Applied Logic 75 (1-2):1.
  20.  13
    Unendliche Formeln in Der Modelltheorie.Erwin Engeler - 1961 - Mathematical Logic Quarterly 7 (7‐10):154-160.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  10
    Ehrenfeucht A.. An Application of Gaṁes to the Completeness Problem for Formalized Theories. Fundamenta Mathematicae, Vol. 49 , Pp. 129–141. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):281-282.
  22.  3
    Formal Languages: Automata and Structures.Erwin Engeler - 1970 - Journal of Symbolic Logic 35 (4):594-595.
  23.  4
    [Omnibus Review].Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):280-281.
  24.  14
    Review: Solomon Feferman, Some Recent Work of Ehrenfeucht and Fraisse. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):282-282.
  25.  10
    Historical and Philosophical Background.Erwin Engeler - 1995 - In The Combinatory Programme. Birkhäuser. pp. 1--12.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  12
    Geometry and Language.Erwin Engeler - 1970 - Dialectica 24 (1‐3):77-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  10
    Review: A. Ehrenfeucht, An Application of Games to the Completeness Problem for Formalized Theories. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):281-282.
  28.  8
    Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik. [REVIEW]Erwin Engeler - 1973 - Journal of Symbolic Logic 38 (3):518-519.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  7
    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]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
  30.  4
    Zur Beweistheorie von Sprachen MIT Unendlich Langen Formela.Erwin Engeler - 1971 - Journal of Symbolic Logic 36 (4):685-685.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  5
    An Algebraization of Hierarchical and Recursive Distributed Processes.Erwin Engeler & Gerhard Schwärzler - 1995 - In The Combinatory Programme. Birkhäuser. pp. 58--76.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  2
    Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln.Erwin Engeler - 1961 - Mathematical Logic Quarterly 7 (11‐14):213-218.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Logic of Programs Workshop, Eth Zürich, May-July 1979.Erwin Engeler & Eidgenössische Technische Hochschule Zürich - 1981
     
    Export citation  
     
    Bookmark  
  34. Review: Shoji Maehara, Gaisi Takeuti, A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. The Combinatory Programme.Erwin Engeler (ed.) - 1995 - Birkhäuser.