Books listed by ISBN

A. S. Troelstra

A. S. · Anne S. Troelstra · S. T.

title	media type	ISBN-13	year of publica- tion	other author(s)
Basic Proof Theory	Paperback	978-0-521-77911-1	2000	H. Schwichtenberg
Basic Proof Theory	"	978-0-521-78452-8	2000	Helmut Schwichtenberg
Basic Proof Theory	Hardcover	978-0-521-57223-1	1996	H. Schwichtenberg
Choice Sequences: Chapter of Intuitionistic Mathematics	"	978-0-19-853163-0	1977
Constructivism in Mathematics: An Introduction (Volume 121)	Paperback	978-0-444-70506-8	1988	D. Van Dalen
Constructivism in Mathematics, Vol 1 (Volume 121)	Hardcover	978-0-444-70266-1	1988
Constructivism in Mathematics, Vol 2, Volume 123	"	978-0-444-70358-3	1988	D. van Dalen
Lectures on Linear Logic	Paperback	978-0-937073-77-3	1992
L.E.J.Brouwer Centenary Symposium Proceedings	Hardcover	978-0-444-86494-9	1982	Dirk van Dalen
Metamathematical investigation of intuitionistic arithmetic and analysis		978-0-387-06491-8	1973
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950	Paperback	978-90-450-1082-3	2003
Troelstra set 2 ex / druk 1: kolibries in de oren en Van Spitsbergen naar Suriname	－	978-90-450-1903-1	2010
Van Spitsbergen naar Suriname / druk 1: Nederlandse natuurhistorische reisverhalen	Taschenbuch	978-90-450-0081-7	2008

Atlas-Contact · Cambridge University Press · Center for the Study of Language and Inf · Elsevier Science · Oxford University Press · Springer