Important Links
Machine generated authority record.
Work cat.: (OSt)9314: Ebbinghaus, H.-D 41611, Mathematical logic, 1984.