1. Intuitionism. An introduction
پدیدآورنده : Heyting, Arend
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
H46
2. Intuitionism; an introduction
پدیدآورنده : Heyting, Arend
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, symbolic and mathematical,، Mathematics-- Methodology
رده :
QA
9
.
H4
3. Intuitionism; an introduction
پدیدآورنده : Heyting, Arend
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
H46
1971
