Sell, buy or rent A.S. Troelstra textbooks

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

by A. S. Troelstra, H. Schwichtenberg
ISBN-13: 9780521779111
ISBN-10: 0521779111
Edition: 2
Publication date: 2000
Publisher: Cambridge University Press
Format: Paperback 432 pages

Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

by A.S. Troelstra, D. Van Dalen, J. Barwise, D. Kaplan, H.J. Keisler
ISBN-13: 9780444705068
ISBN-10: 0444705066
Edition: 1
Publication date: 1988
Publisher: North Holland
Format: Paperback 376 pages

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

by A. S. Troelstra
ISBN-13: 9780444702661
ISBN-10: 0444702660
Edition: 1
Publication date: 1988
Publisher: Elsevier Science
Format: Hardcover 355 pages

Constructivism in Mathematics, Vol 2 (Volume 123)

by A. S. Troelstra, D. van Dalen
ISBN-13: 9780444703583
ISBN-10: 0444703586
Edition: 1
Publication date: 1988
Publisher: Elsevier Science
Format: Hardcover 140 pages