A. S. Troelstra
A. S. Troelstra
7 books in the database
Books
Basic proof theoryA. S. Troelstra
Basic proof theory
A. S. Troelstra · 1996
Bibliography of natural history travel narrativesA. S. Troelstra
Bibliography of natural history travel narratives
A. S. Troelstra · 2016
Constructivism in mathematicsA. S. Troelstra
Constructivism in mathematics
A. S. Troelstra · 1988
Constructivism in Mathematics, Vol 2 Vol. IIA. S. Troelstra
Constructivism in Mathematics, Vol 2 Vol. II
A. S. Troelstra · 2014
Constructivism in Mathematics, Vol 1A. S. Troelstra
Constructivism in Mathematics, Vol 1
A. S. Troelstra · 1988
Constructivism in Mathematics Vol. 2A. S. Troelstra
Constructivism in Mathematics Vol. 2
A. S. Troelstra · 1988
L. E. J. Brouwer Centenary SymposiumA. S. Troelstra
L. E. J. Brouwer Centenary Symposium
A. S. Troelstra · 1982