X-2003-01: van Ulsen, Paul (2003) Index of the Troelstra Archive. [Report]
Text (Full Text (PS))
X-2003-01.text.ps.gz Download (480kB) |
|
Preview |
Text (Full Text (PDF))
X-2003-01.text.pdf Download (255kB) | Preview |
Text (Full Text (DOC))
X-2003-01.text.doc Download (453kB) |
|
Text (Abstract)
X-2003-01.abstract.txt Download (421B) |
Abstract
Index of the archive of Anne S. Troelstra (born 1939, former
professor in pure mathematics and the foundation of mathematics at
the university of Amsterdam): summing up of his letters, articles and
books from the sixties onwards. The archive is from 2003 a part of
the collection of the Rijksarchief Noord-Holland in Haarlem.
Item Type: | Report |
---|---|
Report Nr: | X-2003-01 |
Series Name: | Technical Notes (X) Series |
Year: | 2003 |
Uncontrolled Keywords: | intuitionism, proof theory |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 12 Oct 2016 14:37 |
URI: | https://eprints.illc.uva.nl/id/eprint/646 |
Actions (login required)
View Item |