1. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
2. Metamathematical investigation of intuitionistic arithmetic and analysi
پدیدآورنده: / A.S. Troelstra (editor)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intuitionistic mathematics.,Proof theory.,Model theory.
رده :
QA3
,.
L28
,
no
.,
34
3. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده: Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
4. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده: / [by] A. S. Troelstra
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Intuitionistic mathematics,Proof theory,Model theory
رده :
QA
9
.
47
.
T7
1973
5. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده: Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
