"Language, Proof and Logic (Book & CD-ROM)" - читать интересную книгу автора (Jon Barwise, John Etchemendy)