"Logic, logic, and logic" - читать интересную книгу автора (George Boolos, John P. Burgess, Richard Jeffrey)