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