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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Miller E., Sturmfels B. — Combinatorial Commutative Algebra	279, 281
Sketches — A supplement for Category theory for computing science	5
Pierce B.C. — Basic category theory for computer scientists	16, 60
Jacobs B. — Categorical Logic and Type Theory	162
Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods	224
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming	58—60
Bird R., de Moor O. — Algebra of programming	45—49

О проекте