A. S. Troelstra
Popular items by A. S. Troelstra
View all offers-
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Troelstra/Schwichtenberg
Item prices starting from
View 28 offers£ 24.82
-
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£ 44.87
Also find
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
View 10 offers£ 55.20
Also find
New -
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 14 offers£ 49.40
-
Choice Sequences: Chapter of Intuitionistic Mathematics (Oxford Logic Guides)
Troelstra, A. S.
Item prices starting from
View 3 offers£ 73.94
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis: 344 (Lecture Notes in Mathematics, 344)
Item prices starting from
View 7 offers£ 62.47
