TY - BOOK AU - Manin, Yu. I. AU - Koblitz, Neal TI - A COURSE IN MATHEMATICAL LOGIC U1 - 511.3 PY - 1977/// CY - New York PB - Springer-Verlag KW - Logic, Symbolic And Mathematical ER -