Математика метаматематики. Пер. с анг. Расёва Е.; Сикорский Р.

Просим обратить внимание, что вы покупаете букинистическую (не новую) книгу в магазине. Мы максимально прилагаем усилия в подборе для вас самого лучшего варианта.

Описание книги:

Часть 1. Решетки (Предварительные сведения из топологии, алгебры и теории решеток. Булевы алгебры. Топологические булевы алгебры. Псевдобулевы алгебры). Часть 2. Классическая логика (Формализованные математические теории. Алгебра формализованных языков. Классические пропозициональные исчисления. Классические элементарные формализованные теории). Часть 3. Неклассические логики (Интуиционистские пропозициональные исчисления. Интуиционистские элементарные формализованные теории. Позитивная логика и модальная логика).