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
(C) Powered by Koha

Powered by Koha