| 1 |
Model theory / Heinz-Dieter Ebbinghaus (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 2 |
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 3 |
Set theory / Andreas R. Blass (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 4 |
Classical logic / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 5 |
Non-classical logics / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 6 |
Recursion theory / Peter G. Hinman (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
