A course in mathematical logic for mathematicians:
Manin,Yu. I
A course in mathematical logic for mathematicians: Yu. I Manin - 2nd ed. 2010 - New York Springer 2010 - 384p. - Graduate text in mathematics 53 .
Includes bibliographical references and index.
9781441906144
Mathematics
Mathematical logics
Provability
Language of real analysis
Computability
Recursive groups
Model theory
515.7 / MAN-C
A course in mathematical logic for mathematicians: Yu. I Manin - 2nd ed. 2010 - New York Springer 2010 - 384p. - Graduate text in mathematics 53 .
Includes bibliographical references and index.
9781441906144
Mathematics
Mathematical logics
Provability
Language of real analysis
Computability
Recursive groups
Model theory
515.7 / MAN-C