Introduction to higher order categorical logic

Detaylı Bibliyografya
Yazar: Lambek, J
Diğer Yazarlar: Scott, P J
Materyal Türü: Printed Book
Baskı/Yayın Bilgisi: Cambridge University Press, Cambridge 1986
Konular:
Topological and related algebra and groups

Benzer Materyaller