A course in mathematical logic / Y. I. Manin ; translated from the Russian by Neal Koblitz. Manin, I︠U︡. I. Logic, Symbolic and mathematical. QA9 .M29613 510.83 MAC Includes index. New York : Springer Verlag, c1977. c1977. 1977 Text xiii, 286 p. ; http://www.loc.gov/catdir/enhancements/fy0814/77001838-t.html http://www.loc.gov/catdir/enhancements/fy0814/77001838-d.html eng engrus Graduate texts in mathematics ; 53