X-2018-02: Troelstra, A.S. (2018) Corrections to some Publications. [Report]
Preview |
Text
CombiCorr101218.pdf Download (408kB) | Preview |
Abstract
Lists of Corrections to several publications of A.S. Troelstra:
Constructivism in Mathematics (book), Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (book), Basic Proof Theory (book), Chapter VI (Realizability) of S. Buss, Handbook of Proof Theory.
| Item Type: | Report |
|---|---|
| Report Nr: | X-2018-02 |
| Series Name: | Technical Notes (X) Series |
| Year: | 2018 |
| Uncontrolled Keywords: | Constructivism, proof theory, intuitionism |
| Subjects: | Logic Mathematics Philosophy |
| Depositing User: | Prof.Dr. A.S. Troelstra |
| Date Deposited: | 16 Dec 2018 19:11 |
| Last Modified: | 16 Dec 2018 19:11 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1650 |
Actions (login required)
 |
View Item |
