Categorical logic and type theory

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Jacobs, Bart
Formatua: Tandon
Hizkuntza:Asing
Argitaratua: Elsevier 1999
Gaiak:
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
PINJAM