کتاب های Anne S. Troelstra
![Constructivism in mathematics: An introduction](http://cdn.ketabkoo.com/covers/2/235669-n.jpg)
Constructivism in mathematics: An introduction
Anne S. Troelstra, 1988![Constructivism in Mathematics: An Introduction](http://cdn.ketabkoo.com/covers/2/235670-n.jpg)
Constructivism in Mathematics: An Introduction
Anne S. Troelstra, 1988![Metamathematical Investigation of Intuitionistic Arithmetic and Analysis](http://cdn.ketabkoo.com/covers/6/623708-n.jpg)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anne S. Troelstra, 1973![Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968](http://cdn.ketabkoo.com/covers/9/992441-n.jpg)
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Anne S. Troelstra, 1969![Bibliography of Natural History Travel Narratives](http://cdn.ketabkoo.com/covers/16/1644457-n.jpg)
Bibliography of Natural History Travel Narratives
Anne S. Troelstra, 2016![Constructivism in Mathematics: An Introduction](http://cdn.ketabkoo.com/covers/17/1718203-n.jpg)
Constructivism in Mathematics: An Introduction
Anne S. Troelstra, Dirk van Dalen, 1988![Constructivism in Mathematics: An Introduction](http://cdn.ketabkoo.com/covers/17/1718229-n.jpg)
Constructivism in Mathematics: An Introduction
Anne S. Troelstra, Dirk van Dalen, 1988![The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981](http://cdn.ketabkoo.com/covers/3/304387-n.jpg)
The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981
A.S. Troelstra, 1982![Constructivism in mathematics: An introduction](http://cdn.ketabkoo.com/covers/4/499083-n.jpg)
Constructivism in mathematics: An introduction
A. S. Troelstra, 1988![Basic Proof Theory](http://cdn.ketabkoo.com/covers/5/560339-n.jpg)
Basic Proof Theory
A. S. Troelstra, 1996![Basic Proof Theory](http://cdn.ketabkoo.com/covers/5/560340-n.jpg)
Basic Proof Theory
A. S. Troelstra, 2000![Basic proof theory](http://cdn.ketabkoo.com/covers/5/560341-n.jpg)
Basic proof theory
AS Troelstra, 2000![Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis](http://cdn.ketabkoo.com/covers/6/623707-n.jpg)
Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis
Troelstra A.S., 1973![Metamathematical Investigation of Intuitionistic Arithmetic and Analysis](http://cdn.ketabkoo.com/covers/6/623709-n.jpg)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
A. S. Troelstra (eds.), 1973![Lectures on Linear Logic](http://cdn.ketabkoo.com/covers/7/792467-n.jpg)
Lectures on Linear Logic
A. S. Troelstra, 1992![Lectures on linear logic](http://cdn.ketabkoo.com/covers/7/792468-n.jpg)
Lectures on linear logic
Troelstra A.S., 1992![Lectures on Linear Logic](http://cdn.ketabkoo.com/covers/10/1092182-n.jpg)
Lectures on Linear Logic
A. S. Troelstra, 1992![Intuitionistic General Topology [PhD Thesis]](http://cdn.ketabkoo.com/covers/14/1434918-n.jpg)
Intuitionistic General Topology [PhD Thesis]
A.S. Troelstra, 1966![Intuitionistic General Topology [PhD Thesis]](http://cdn.ketabkoo.com/covers/14/1434919-n.jpg)
Intuitionistic General Topology [PhD Thesis]
A.S. Troelstra, 1966![Basic proof theory](http://cdn.ketabkoo.com/covers/16/1627252-n.jpg)