1 |
. Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 1
Classical logic / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
2 |
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
: gw,: us. - Berlin ; New York ; Tokyo : Springer , c1989
|
3 |
. Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 2
Non-classical logics / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
4 |
. Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3
Model theory / Heinz-Dieter Ebbinghaus (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
5 |
. Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 4
Recursion theory / Peter G. Hinman (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
6 |
. Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 5
Set theory / Andreas R. Blass (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|
7 |
. Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
|