"Craig's Theorem" - читать интересную книгу автора (Putnam Hilary)