1. Can mathematics be proved consistent? :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: G?del's theorem ;
2. Creating modern probability :
المؤلف: Jan von Plato.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Probabilities-- History.
رده :
QA273
.
V66
1994eb
3. Creating modern probability :
المؤلف: Jan von Plato.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Probabilities-- History.
رده :
QA273
.
V66
1994eb
4. Creating modern probability : its mathematics, physics, and philosophy in historical perspective
المؤلف: Von Plato, Jan
المکتبة: (طهران)
موضوع: History ، Probabilities
رده :
QA
273
.
V66C7
5. Elements of Logical Reasoning
المؤلف: / Jan von Plato
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
6. Elements of logical reasoning /
المؤلف: Jan von Plato
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
7. Proof analysis :
المؤلف: Sara Negri, Jan von Plato
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
N438
2011
8. Proof analysis
المؤلف: / Sara Negri, Jan von Plato
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory
رده :
E-BOOK
9. Saved from the Cellar
المؤلف: \ Jan von Plato
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع:
رده :
E-Book
,
10. Structural proof theory
المؤلف: Negri, Sara
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
2001
11. Structural proof theory
المؤلف: Negri, Sara, 7691-
المکتبة: (طهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
12. Structural proof theory
المؤلف: Negri, Sara, 7691-
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N4S78
13. Structural proof theory
المؤلف: Negri, Sara, Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N4S8
14. Structural proof theory
المؤلف: Negri, Sara
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
2001
15. The development of modern logic
المؤلف: edited by Leila Haaparanta
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: History ، Logic
رده :
BC15
.
D48
2009
