A course in mathematical logic - Manin, IU. I. (Graduate texts in mathematics ;, 1977)