Suchergebnisse - Müller, Gert H. 1923-2006

Treffer filtern
  1. 1
    Buchumschlag

    Logical foundations of social theory
    von Müller, Gert H. 1923-2006

    Veröffentlicht 2014
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The logical foundations of social theory
    von Müller, Gert H. 1923-2006

    Veröffentlicht 2014
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Omega-bibliography of mathematical logic
    Band 3 - Model theory

    Veröffentlicht 1987
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Omega-bibliography of mathematical logic
    Band 1 - Classical logic

    Veröffentlicht 1987
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Omega-bibliography of mathematical logic
    Band 2 - Non-classical logics

    Veröffentlicht 1987
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Büchi's monadic second order successor arithmetic
    von Siefkes, Dirk 1938-2016

    Veröffentlicht 1970
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    [Omega]-Bibliography of Mathematical Logic: Model Theory

    Veröffentlicht 1987
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Büchi's Monadic Second Order Successor Arithmetic
    von Siefkes, Dirk 1938-2016

    Veröffentlicht 1970
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

    Veröffentlicht 1975
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    ISILC Proof Theory Symposion: dedicated to Kurt Schütte on the occasion of his 65th birthday ; proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

    Veröffentlicht 1975
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Omega-bibliography of mathematical logic
    Band 5 - Set theory

    Veröffentlicht 1987
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

    Veröffentlicht 1975
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    The monadic second order theory of all countable ordinals
    von Büchi, Julius Richard 1924-1984, Siefkes, Dirk 1938-2016

    Veröffentlicht 1973
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    Omega-bibliography of mathematical logic
    Band 4 - Recursion theory

    Veröffentlicht 1987
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Omega-bibliography of mathematical logic
    Band 6 - Proof theory, constructive mathematics

    Veröffentlicht 1987
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977

    Veröffentlicht 1978
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    Models and Sets: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I

    Veröffentlicht 1984
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  18. 18
    Buchumschlag

    Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980

    Veröffentlicht 1981
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

    Veröffentlicht 1990
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  20. 20
    Buchumschlag

    Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

    Veröffentlicht 1985
    Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: