"The Mathematics of Logic: A Guide to Completeness Theorems and their Applications" - читать интересную книгу автора (Richard W. Kaye)