G. H. MüllerBooksHigher Set TheoryProceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983 : Part 1Decidable Theories : Vol. 2Logic Symposia, Hakone, 1979 1980Author data: Open Library