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

� 30.21

View 18 offers

Also find
New, Used
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

� 57.82

View 15 offers

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

Item prices starting from

� 72.87

View 3 offers

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

Item prices starting from

� 8.19

View 2 offers

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

Item prices starting from

� 28.28

View 28 offers

Also find
New, Used
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis: 344 (Lecture Notes in Mathematics, 344)

Item prices starting from

� 43.32

View 9 offers

Also find
New, Used
L.E.J.Brouwer Centenary Symposium Proceedings (Studies in Logic and the Foundations of Mathematics)

Item prices starting from

� 66.20

View 1 offer

Also find
Used