Gödel's Protokolle notebook: English translation of text