1
by Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published 1994
Springer New York
... the prerequisites from set theory necessary for this purpose and then treat the subtle relation between logic...