Course in mathematical logic(a)
Manin, Yu I
Course in mathematical logic(a) Yu I Manin - New York Springer-Verlag 1977 - xiii, 286p. - Graduates texts in Mathematics .
Translated from the Russian by Neal Koblitz
9780387902432
COMPUTABILITY
MATHEMATICAL LOGIC
PROVABILITY
RECURSIVE GROUPS
510.6 / MAN-C
Course in mathematical logic(a) Yu I Manin - New York Springer-Verlag 1977 - xiii, 286p. - Graduates texts in Mathematics .
Translated from the Russian by Neal Koblitz
9780387902432
COMPUTABILITY
MATHEMATICAL LOGIC
PROVABILITY
RECURSIVE GROUPS
510.6 / MAN-C