5. Categorical logic and type theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Type theory. ; Categories (Mathematics) ;
![](/design/images/bookmore.png)
6. Categorical logic and type theory
پدیدآورنده : Jacobs, Bart
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)