Suchergebnisse - Müller, Gert H.
- Treffer 1 – 20 von 23
- Zur nächsten Seite
-
1Sociology and ontology: the analytical foundations of sociological theoryVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Logical foundations of social theoryVeröffentlicht 2014Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3The logical foundations of social theoryVeröffentlicht 2014Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
4Omega-bibliography of mathematical logicBand 3 - Model theoryVeröffentlicht 1987Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Omega-bibliography of mathematical logicBand 1 - Classical logicVeröffentlicht 1987Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Omega-bibliography of mathematical logicBand 2 - Non-classical logicsVeröffentlicht 1987Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Büchi's monadic second order successor arithmeticVeröffentlicht 1970Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
8[Omega]-Bibliography of Mathematical Logic: Model TheoryVeröffentlicht 1987Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
9Büchi's Monadic Second Order Successor ArithmeticVeröffentlicht 1970Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
10ISILC 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 1974Veröffentlicht 1975Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
11ISILC 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 1974Veröffentlicht 1975Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
12Omega-bibliography of mathematical logicBand 5 - Set theoryVeröffentlicht 1987Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974Veröffentlicht 1975Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
14The monadic second order theory of all countable ordinalsVeröffentlicht 1973Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
15Omega-bibliography of mathematical logicBand 4 - Recursion theoryVeröffentlicht 1987Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Omega-bibliography of mathematical logicBand 6 - Proof theory, constructive mathematicsVeröffentlicht 1987Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977Veröffentlicht 1978Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
18Models and Sets: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part IVeröffentlicht 1984Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
19Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980Veröffentlicht 1981Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
20Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989Veröffentlicht 1990Weitere beteiligte Personen: “… Müller, Gert H. 1923-2006 …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book