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