1. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
2. Intentional mathematics
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA9
.
46
،.
I57
1985
