1. Can mathematics be proved consistent? :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem ;
2. Creating modern probability :
Author: Jan von Plato.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Probabilities-- History.
Classification :
QA273
.
V66
1994eb
3. Creating modern probability :
Author: Jan von Plato.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Probabilities-- History.
Classification :
QA273
.
V66
1994eb
4. Creating modern probability : its mathematics, physics, and philosophy in historical perspective
Author: Von Plato, Jan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: History ، Probabilities
Classification :
QA
273
.
V66C7
5. Elements of Logical Reasoning
Author: / Jan von Plato
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
Classification :
QA9
.
V66
2013
6. Elements of logical reasoning /
Author: Jan von Plato
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Reasoning
Classification :
QA9
.
V66
2013
7. Proof analysis :
Author: Sara Negri, Jan von Plato
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory
Classification :
QA9
.
54
.
N438
2011
8. Proof analysis
Author: / Sara Negri, Jan von Plato
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory
Classification :
E-BOOK
9. Saved from the Cellar
Author: \ Jan von Plato
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject:
Classification :
E-Book
,
10. Structural proof theory
Author: Negri, Sara
Library: Central Library and Documentation Center (Semnan)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N44
2001
11. Structural proof theory
Author: Negri, Sara, 7691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N44
12. Structural proof theory
Author: Negri, Sara, 7691-
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N4S78
13. Structural proof theory
Author: Negri, Sara, Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N4S8
14. Structural proof theory
Author: Negri, Sara
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N44
2001
15. The development of modern logic
Author: edited by Leila Haaparanta
Library: Library of Mofid University (Qom)
Subject: History ، Logic
Classification :
BC15
.
D48
2009
