"Language, Proof, and Logic" - читать интересную книгу автора (Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu)