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
|