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 12 offers£ 22.36
-
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 8 offers£ 53.34
-
Choice Sequences: Chapter of Intuitionistic Mathematics (Oxford Logic Guides)
Troelstra, A. S.
Item prices starting from
View 3 offers£ 73.91
-
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£ 7.77
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£ 31.11
