Manin, Yu I A course in mathematical logic for mathematicians - 2nd ed.- - New York: Springer-Verlag, 2010 - xi,384p.: ill.; 23cm. Includes index ISBN: 978-1-4419-0614-4 Subjects--Topical Terms: Logicsymbolic and mathematical LC Class. No.: MATH QA9.M296 2010