Gert H. Müller
Identifiers
- Open LibraryOL7850914A
Top Subjects
- Franz Kröner (1889-1958) (1)
- Mathematics (1)
- Symbolic and mathematical Logic (1)
- Mathematical Logic and Foundations (1)
Books by Gert H. Müller
Total count: 7
-
Das philosophische Werk Franz Kröner'smit drei nachgelassenen OriginalbeiträgenVerlag für Recht und Gesellschaft1962-01-01
-
Ω-Bibliography of Mathematical LogicSet TheorySpringer Berlin Heidelberg1987-01-01
-
Decidable Theories : Vol. 1Büchi`s Monadic Second Order Successor ArithmeticSpringer London, Limited2006-01-01
-
Recursion Theory WeekProceedings of a Conference Held in Oberwolfach, West Germany, April 15-21 1984Springer London, Limited2006-01-01
-
Ω-Bibliography of Mathematical LogicModel TheorySpringer London, Limited2013-01-01
? -Bibliography of Mathematical LogicRecursion TheorySpringer2013-10-03
#NAME?Proof Theory Constructive MathematicsSpringer2013-10-04