"Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)" - читать интересную книгу автора (Jon Barwise, John Etchemendy)