Important Links
Machine generated authority record.
Work cat.: (OSt)4715: Keisler, H. Jerome, Mathematical logic and computability, 1996