1. Categorical logic and type theory

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Type theory. ; Categories (Mathematics) ;

2. Categorical logic and type theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Type theory,، Categories )Mathematics(

رده :
QA
9
.
J22

3. Categorical logic and type theory

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Type theory.,Categories (Mathematics)

رده :
QA9
,.
J27
,
1999