1. Basic proof theory
Author: / A.S. Troelstra, H. Schwichtenberg
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Proof theory
Classification :
QA9
.
54
.
T76
1996
2. Basic proof theory
Author: Troelstra, A. S. )Anne Sjerp(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
T76
2000
3. Constructivism in mathematics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Constructive mathematics. ;
4. Constructivism in mathematics
Author: / A.S. Troelstra, D. van Dalen
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Constructive mathematics
Classification :
QA9
.
56
.
T74
1988
5. Constructivism in mathematics :
Author: A.S. Troelstra, D. van Dalen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constructive mathematics
Classification :
QA9
.
56
.
T74
1988
6. Constructivism in mathematics : an introduction
Author: Troelstra, A. S.)Anne Sjerp(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Constructive mathematics
Classification :
QA
9
.
56
.
T74
1988
7. Lectures on linear logic
Author: / A.S. Troelstra
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
T76
1991
8. Lectures on linear logic
Author: / A.S. Troelstra
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
E-BOOK
9. Lectures on linear logic
Author: / A.S. Troelstra
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
T76
1991
10. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: Troelstra, A. S. )Anne Sjerp(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory,، Model theory
Classification :
QA
3
.
L28
no
.
344
11. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: / [by] A. S. Troelstra
Library: Library of College of Science University of Tehran (Tehran)
Subject: Intuitionistic mathematics,Proof theory,Model theory
Classification :
QA
9
.
47
.
T7
1973
12. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: / A. S. Troelstra
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intutitionistic mathematics,Proof Theory,Model Theory
Classification :
510
.
8
Me
13. Principles of intuitionism :
Author: A. S. Troelstra.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intuition.,Logic, Symbolic and mathematical.
14. Principles of intuitionism
Author: Troelstra, A. S. )Anne Sjerp(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Intuitionistic mathematics
Classification :
QA
3
.
L28
no
.
95
15. Principles of intuitionism
Author: A. S. Troelstra
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intuition,، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
Vol
.
95
16. Principles of intuitionism
Author: / A. S. Troelstra
Library: Library of College of Science University of Tehran (Tehran)
Subject: Intuitionistic mathematics
Classification :
QA
9
.
T84
1968
