Categorical Logic and Type Theory

Дорогие читатели, есть книги интересные, а есть - очень интересные. К какому разряду отнести "Categorical Logic and Type Theory" Jacobs B. (EN) решать Вам! Финал немножко затянут, но это вполне компенсируется абсолютно непредсказуемым окончанием. Главный герой моментально вызывает одобрение и сочувствие, с легкостью начинаешь представлять себя не его месте и сопереживаешь вместе с ним. Многогранность и уникальность образов, создает внутренний мир, полный множества процессов и граней. Произведение пронизано тонким юмором, и этот юмор, будучи одной из форм, способствует лучшему пониманию и восприятию происходящего. Запутанный сюжет, динамически развивающиеся события и неожиданная развязка, оставят гамму положительных впечатлений от прочитанной книги. Умелое и красочное иллюстрирование природы, мест событий часто завораживает своей непередаваемой красотой и очарованием. Данная история - это своеобразная загадка, поставленная читателю, и обычной логикой ее не разгадать, до самой последней страницы. С помощью намеков, малозначимых деталей постепенно вырастает главное целое, убеждая читателя в реальности прочитанного. Всем словам и всем вещам вернулся их изначальный смысл и ценности, вознося читателя на вершину радости и блаженства. Актуальность проблематики, взятой за основу, можно отнести к разряду вечных, ведь пока есть люди их взаимоотношения всегда будут сложными и многообразными. "Categorical Logic and Type Theory" Jacobs B. (EN) читать бесплатно онлайн можно с восхищением, можно с негодованием, но невозможно с равнодушием.