"Introduction to model theory and to the metamathematics of algebra" - читать интересную книгу автора (Abraham Robinson)