A.S. Troelstra books & textbook
Constructivism in Mathematics, Vol 2 (Volume 123)
Elsevier Science /1988-11-15 Hardcover / 140 Pages
isbn-10: 0444703586 / isbn-13: 9780444703583
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Troelstra, A. S. Schwichtenberg, H.
Cambridge University Press /2000-07-31 Paperback / 432 Pages
isbn-10: 0521779111 / isbn-13: 9780521779111
Lectures on Linear Logic (Volume 29) (Lecture Notes)
Center for the Study of Language and Inf /1992-06-15 Paperback / 210 Pages
isbn-10: 0937073776 / isbn-13: 9780937073773
Choice Sequences: A Chapter of Instuitionistic Mathematics (Oxford Logic Guides)
Oxford University Press /1977-06-02 Hardcover / 180 Pages
isbn-10: 019853163X / isbn-13: 9780198531630
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Springer /1973-11-14 Paperback / 508 Pages
isbn-10: 3540064915 / isbn-13: 9783540064916
Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
Troelstra, A.S. Van Dalen, D. Barwise, J. Kaplan, D. Keisler, H.J.
North Holland /1988-08-15 Paperback / 376 Pages
isbn-10: 0444705066 / isbn-13: 9780444705068
Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95)
Springer /1969-01-01 Paperback / 120 Pages
isbn-10: 3540046143 / isbn-13: 9783540046141
Constructivism in Mathematics, Vol 1: An Introduction (Studies in Logic and the Foundations of Mathematics) by A.S. Troelstra (1988-07-01)
Elsevier Science / Hardcover
Principles of intuitionism (Lecture notes in mathematics, 95)
Springer /1969T Unknown Binding / 111 Pages
