A course in mathematical logic for mathematicians / with new chapters by Boris Zilber and Yuri I. Manin

Auteur principal : Zilber, Boris, 1949-, AuteurCo-auteur : Manin, Yuri Ivanovich, 1937-, AuteurType de document : Livre numériqueCollection : Graduate texts in mathematics, 53Langue : anglais.Éditeur : New York : Springer, cop. 2010ISBN: 9781441906144.ISSN: 0072-5285.Sujet MSC : 03-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B10, General logic, Classical first-order logic
03B25, General logic, Decidability of theories and sets of sentences
03C07, Mathematical logic and foundations - Model theory, Basic properties of first-order languages and structures
03C10, Mathematical logic and foundations - Model theory, Quantifier elimination, model completeness and related topicsEn-ligne : Springerlink | zbMath | MSN
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.