X-2003-01: Index of the Troelstra Archive

X-2003-01: van Ulsen, Paul (2003) Index of the Troelstra Archive. [Report]

[thumbnail of Full Text (PS)] Text (Full Text (PS))
X-2003-01.text.ps.gz

Download (480kB)
[thumbnail of Full Text (PDF)]
Preview
Text (Full Text (PDF))
X-2003-01.text.pdf

Download (255kB) | Preview
[thumbnail of Full Text (DOC)] Text (Full Text (DOC))
X-2003-01.text.doc

Download (453kB)
[thumbnail of Abstract] 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 View Item