A. S. Troelstra

Popular items by A. S. Troelstra

View all offers

Constructivism in Mathematics, Vol 2 (Volume 123) (Studies in Logic and the Foundations of Mathematics, Volume 123)
Troelstra, A.S.; Van Dalen, D.

Item prices starting from

� 53.34

View 9 offers

Also find
New, Used
Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
Troelstra, A.S.; Van Dalen, D.

Item prices starting from

� 47.82

View 10 offers

Also find
New, Used
Choice Sequences: Chapter of Intuitionistic Mathematics (Oxford Logic Guides)
Troelstra, A. S.

Item prices starting from

� 73.73

View 3 offers

Also find
Used, First Edition
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Troelstra/Schwichtenberg

Item prices starting from

� 28.61

View 29 offers

Also find
New, Used
Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes)
Troelstra, Anne Sjerp

Item prices starting from

� 43.47

View 1 offer

Also find
Used