Поиск книг, содержащих Topos, elementary :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Topos, elementary

Книга	Страницы для поиска
Lawvere F.W., Rosebrugh R. — Sets for Mathematics	111
Goldblatt R. — Topoi	84
Jacobs B. — Categorical Logic and Type Theory	339
Pedicchio M. C., Tholen W. — Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory	I.5, VII.330
Johnstone P.T. — Topos Theory	23
Szabo M. E. — Algebra of proofs	194

О проекте