Электронный каталог

Книга
51 Р24

Расева, Елена.
Математика метаматематики / Е. Расева, Р. Сикорский; перевод с английского В. А. Янкова. – Москва : Наука, 1972. – 591 с. – (Математическая логика и основания математики). – На рус. яз. : 2.89.

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

ББК 22.1в
ББК 87.4

основной = математика : философия математики
основной = философия : логика
основной = математика : геометрия : топология : алгебраическая топология

00000000768336 ФИЗН 51 Р24
00000000417145 МАТУ 51мл Р24
00000000455956 МАТУ 51мл Р24
00000000455957 МАТУ 51мл Р24
00000000455958 МАТУ 51мл Р24
00000000455959 МАТУ 51мл Р24
00000000455960 МАТУ 51мл Р24
00000000455961 МАТУ 51мл Р24
00000000455962 МАТУ 51мл Р24
00000000455963 МАТУ 51мл Р24
00000000455964 МАТУ 51мл Р24
00000000455965 МАТУ 51мл Р24
00000000455966 МАТУ 51мл Р24
00000000455967 МАТУ 51мл Р24
00000000455968 МАТУ 51мл Р24
00000000455969 МАТУ 51мл Р24
00000000455970 МАТУ 51мл Р24
00000000455971 МАТУ 51мл Р24
00000000455972 МАТУ 51мл Р24
00000000455973 МАТУ 51мл Р24
00000000455974 МАТУ 51мл Р24