"The Mathematics of Logic. A guide to completeness theorems and their applications" - читать интересную книгу автора (Richard W. Kaye)