عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook39341
eng
Categorical logic and type theory
Amsterdam ;New York :
: Elsevier Science,
, 1999.
Print
Type theory. ; Categories (Mathematics) ;
Jacobs, Bart. ;
old catalog
