Gert H. Müller

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

1987 · ENGLISH · PDF

View details →

Ω-Bibliography of Mathematical Logic. Volume 3: Model Theory

1987 · ENGLISH · PDF

View details →

Ω-Bibliography of Mathematical Logic. Volume 5: Set Theory

1987 · ENGLISH · PDF

View details →

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

1985 · ENGLISH · PDF

View details →

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

1984 · ENGLISH · PDF

View details →

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

1981 · ENGLISH · PDF

View details →

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

1978 · ENGLISH · PDF

View details →

Sets and Classes: On the Work by Paul Bernays

1976 · ENGLISH · PDF

View details →

Decidable Theories I

1970 · ENGLISH · DJVU

View details →

Recursion Theory Week. Proceedings conference Oberwolfach, 1984

1985 · ENGLISH · DJVU

View details →

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

1990 · ENGLISH · DJVU

View details →

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

1985 · ENGLISH · PDF

View details →