CORRECTIONS AND ADDITIONS TO “NEW FOUNDATIONS FOR LOGIC”