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.