| 1 |
; v. 1Ω-bibliography of mathematical logic /
Classical logic / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 2 |
Model-theoretic logics / edited by J. Barwise and S. Feferman ; with contributionsby J. Baldwin ... [et al.]
: us,: gw. - New York : Springer-Verlag , c1985
|
| 3 |
Fundamentals of stability theory / John T. Baldwin
: us,: gw. - Berlin : Springer-Verlag , c1988
|
| 4 |
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
: gw,: us. - Berlin : Springer-Verlag , c1993
|
| 5 |
Recursion-theoretic hierarchies / Peter G.Hinman
: gw,: us. - Berlin : Springer-Verlag , 1978
|
| 6 |
; v. 2Ω-bibliography of mathematical logic /
Non-classical logics / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 7 |
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I.Soare
: U.S.,: Germany. - Berlin : Springer-Verlag , c1987
|
| 8 |
Higher recursion theory / Gerald E. Sacks
: gw,: us. - Berlin : Springer-Verlag , c1990
|
| 9 |
; v. 3Ω-bibliography of mathematical logic /
Model theory / Heinz-Dieter Ebbinghaus (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 10 |
; v. 4Ω-bibliography of mathematical logic /
Recursion theory / Peter G. Hinman (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 11 |
Admissible sets and structures : an approach to definability theory / Jon Barwise
: gw,: us. - Berlin : Springer-Verlag , 1975
|
| 12 |
; v. 5Ω-bibliography of mathematical logic /edited by Gert H. Müller in collaboration with Wolfgang Lenski
Set theory / Andreas R. Blass (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
| 13 |
General recursion theory : an axiomatic approach / Jens E. Fenstad
: us,: gw. - Berlin : Springer-Verlag , 1980
|
| 14 |
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
: Berlin,: New York. - Berlin : Springer Verlag , c1989
|
| 15 |
Degrees of unsolvability : local and global theory / Manuel Lerman
:us,:wb. - Berlin : Springer-Verlag , 1983
|
| 16 |
; v. 6Ω-bibliography of mathematical logic /
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987
|
Mendeley出力
