Mathematical logic and computability by Robbin, Joel W., Keisler, H. J., (Howard Jerome) fromInternational series in pure and applied mathematics 0 Type: Book
