Introduction to higher order categorical logic

Библиографические подробности
Главный автор: Lambek, J
Другие авторы: Scott, P J
Формат: Printed Book
Опубликовано: Cambridge University Press, Cambridge 1986
Предметы:
Topological and related algebra and groups

Схожие документы