Introduction to higher order categorical logic

Chi tiết về thư mục
Tác giả chính: Lambek, J
Tác giả khác: Scott, P J
Định dạng: Printed Book
Được phát hành: Cambridge University Press, Cambridge 1986
Những chủ đề:
Topological and related algebra and groups

Những quyển sách tương tự