TY - BOOK AU - Yu.I.Manin AU - Koblitz, Neal TI - (A) course in mathematical logic U1 - 510.G PY - 1977/// CY - New York PB - Springer-Verlag KW - Mathematics KW - Number theory KW - Set theory KW - Group theory KW - Mathematical sciences KW - Pure mathematics KW - Fundamentals of mathematics KW - Arithmetic & algebra ER -