1 |
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
2 |
Set theory / Andreas R. Blass (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
3 |
Recursion theory / Peter G. Hinman (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
4 |
Model theory / Heinz-Dieter Ebbinghaus (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
5 |
Non-classical logics / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
6 |
Classical logic / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
7 |
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
8 |
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
9 |
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I / edited by G.H. Müller and M.M. Richter
: us,: gw. - Berlin ; New York : Springer-Verlag , 1984
|
10 |
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981
|
11 |
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G.H. Müller and D.S. Scott
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1978
|
12 |
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 / edited by J. Diller and G.H. Müller
: gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975
|
13 |
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff
: gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975
|