A. S. Troelstra
Popular items by A. S. Troelstra
View all offers-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Troelstra, A. S.; Schwichtenberg, H.
Item prices starting from
View 28 offersUS$ 31.88
-
Constructivism in Mathematics, Vol 2 (Volume 123)
A. S. Troelstra; D. Van Dalen
Item prices starting from
View 11 offersUS$ 70.92
Also find
New -
Lectures on Linear Logic (Volume 29) (Lecture Notes)
Troelstra, A. S.
Item prices starting from
View 2 offersUS$ 60.33
Also find
Used -
Choice Sequences: A Chapter of Instuitionistic Mathematics (Oxford Logic Guides)
Troelstra, A. S.
Item prices starting from
View 3 offersUS$ 95.00
-
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 15 offersUS$ 63.48
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Item prices starting from
View 7 offersUS$ 83.99
