1. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده: Lincoln A. Wallen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
2. Extensional Godel functional interpretation
پدیدآورنده: / Horst Luckhardt
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Proof theory,Intuitionistic mathematics
رده :
QA
9
.
L8
1973
3. Extensional Godel functional interpretation; a consistency proof of classical analysis
پدیدآورنده: Luckhardt, Horst
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory,، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
306
4. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
5. Metamathematical investigation of intuitionistic arithmetic and analysi
پدیدآورنده: / A.S. Troelstra (editor)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intuitionistic mathematics.,Proof theory.,Model theory.
رده :
QA3
,.
L28
,
no
.,
34
6. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده: Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
7. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده: / [by] A. S. Troelstra
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Intuitionistic mathematics,Proof theory,Model theory
رده :
QA
9
.
47
.
T7
1973
8. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده: Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
9. Proof methods for modal and intuitionistic logics
پدیدآورنده: Fitting, Melvin, 1942-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Proof theory ► Modality (Logic) ► Intuitionistic mathematics
رده :
511
F547p
10. Proof theory and intuitionistic systems
پدیدآورنده: Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
11. Proof theory and intuitionistic systems
پدیدآورنده: Scarpellini, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
12. Proof theory and intuitionistic systems
پدیدآورنده: Bruno Scarpellini
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
Vol
.
212
13. Proof theory and intuitionistic systems
پدیدآورنده: Scarpellini, Bruno.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Intuitionistic mathematics,، Proof theory
رده :
QA
1
.
L4
v
.
212
14. Proof theory and intuitionistic systems
پدیدآورنده: / Bruno Scarpellini
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Intuitionistic mathematics,Proof theory
رده :
QA
9
.
S3
1971
15. Proof theory and intuitionistic systems
پدیدآورنده: Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Intuitionistic mathematics ► Proof theory
رده :
511
S286p
16. Proof theory and intuitionistic systems
پدیدآورنده: / Bruno Scarpellini
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Intuitionistic mathematics,Proof theory
رده :
510
.
8
L471
No
.
212
