1. Mathematical intuitionism : introduction to proof theory
المؤلف: Dragalin, Albert Grigorevich
المکتبة: (طهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
D7313
1988
2. Mathematical intuitionism : introduction to proof theory
المؤلف: Dragalin, Albert Grigorevich.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D7313
1988