Piozat, Bruno A course in model theory an introduction to contemporary mathematical logic - New York Springer-Verlag 2000 - xv, 443 ISBN: 0387986553 Subjects--Topical Terms: MATHEMATICS - NUMBER THEORY Universal Decimal Class. No.: 511 / P53