Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://lib.mexmat.ru/showsubject/89049. Показаны документы 1 - 1 из 1.
1. Голдблатт Р. - Топосы. Категорный анализ логики. :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Голдблатт Р. - Топосы. Категорный анализ логики. ... Название: Топосы. ... Автор: Голдблатт Р. Аннотация: . Топосы - это специального вида категории, способные служить моделями для теоретико-множественных конструкций. ... Аксиомы классической логики (системы CL) 144 250 . ... Бивалентный топос 131 . ... Логика высшего порядка 298 . ... Модальная логика 392 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1268 -- 98.5 Кб -- 09.04.2016
Похожие документы
Похожие документы