1. Aspects of basic logic
پدیدآورنده : M. A. Behrostaghi
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Heyting algebra,Mathematics,Pure sciences,Stone representation
2. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
3. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
4. Extensional Godel functional interpretation; a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
306
5. Extensional Godel functional interpretation : a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: (طهران)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
9
.
L8
1973
6. Foundations:
پدیدآورنده : edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Science -- Philosophy.
7. Fundamentals of artificial intelligence research :
پدیدآورنده : Ph. Jorrand, J. Kelemen, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991
8. Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968
پدیدآورنده : Edited by A. Kino, J. Myhill and R. E. Vesley
کتابخانه: (طهران)
موضوع : Congresses ، Intuitionistic mathematics
رده :
QA
9
.
C742
9. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
10. Mathematical intuitionism : introduction to proof theory
پدیدآورنده : Dragalin, Albert Grigorevich
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
D7313
1988
11. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
12. Metamathematical investigation of intuitionistic arithmetic and analysi
پدیدآورنده : / A.S. Troelstra (editor)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Intuitionistic mathematics.,Proof theory.,Model theory.
رده :
QA3
,.
L28
,
no
.,
34
13. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : / A. S. Troelstra
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Intutitionistic mathematics,Proof Theory,Model Theory
رده :
510
.
8
Me
15. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
16. Principles of intuitionism
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
95
17. Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
T84
1968
18. Proof Theory
پدیدآورنده : by Kurt Schütte.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.
19. Proof analysis :
پدیدآورنده : Sara Negri, Jan von Plato
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
N438
2011
20. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory
رده :
E-BOOK
