Manin, ëIìU. I A course in mathematical logic Y. I. Manin; translated from the Russian by Neal Koblitz - New York Springer- Verlag c1977 - xiii, 286 p ill 24 cm - Graduate texts in mathematics 53 . Cuprinde bibliografie si index LCCN: 77001838 Subjects--Topical Terms: Logic, Symbolic and mathematical