عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook26932
eng
A modern perspective on type theory
Dordrecht ;Boston :
: Kluwer Academic Publishers,
, 2004.
Print
Type theory. ;
Kamareddine, Fairouz D. ; Laan, Twan. ; Nederpelt, R. P. ; (Rob P.) ;
old catalog
