Corrections to some Publications
A.S. Troelstra
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.