A. S. Troelstra
Popular items by A. S. Troelstra
View all offers-
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
View 17 offers£ 30.21
-
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
View 14 offers£ 54
-
Choice Sequences: Chapter of Intuitionistic Mathematics (Oxford Logic Guides)
Troelstra, A. S.
Item prices starting from
View 3 offers£ 72.33
-
Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes)
Troelstra, Anne Sjerp
Item prices starting from
View 2 offers£ 8.13
Also find
Used -
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Troelstra/Schwichtenberg
Item prices starting from
View 30 offers£ 28.07
