A. S. Troelstra
Popular items by A. S. Troelstra
View all offers-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)
Troelstra, A. S.; Schwichtenberg, H.
Item prices starting from
View 29 offersUS$ 36.86
-
Lectures on Linear Logic (Volume 29) (Lecture Notes)
Troelstra, A. S.
Item prices starting from
View 1 offerUS$ 57.41
Also find
Used -
Constructivism in Mathematics, Vol 2 (Volume 123) (Studies in Logic and the Foundations of Mathematics, Volume 123)
A. S. Troelstra; D. Van Dalen
Item prices starting from
View 8 offersUS$ 73.56
-
Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
A. S. Troelstra
Item prices starting from
View 9 offersUS$ 63.16
-
Choice Sequences: A Chapter of Instuitionistic Mathematics (Oxford Logic Guides)
Troelstra, A. S.
Item prices starting from
View 3 offersUS$ 95.00
