Introduction to higher order categorical logic

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Lambek, J.
Формат: Ном
Хэвлэсэн: Cambridge Univ. Pr. 1994
Нөхцлүүд:
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

UL

UL-с авсан түр хойшлуулсан зүйлсийн дэлгэрэнгүй мэдээлэл
Зохиогчийн тэмдэгт: 512.55
Хуулбар On Shelf