1
by Ebbinghaus, H.-D., Hermes, H., Hirzebruch, F., Koecher, M.
Published 1983
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Foundations...

2
by Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published 1994
Springer New York
Subjects: '; ...Mathematical Logic and Foundations...