40Tagebuch 1. I. 1936 – 16. XII. 1936 [Rudolf Carnap: Tagebücher], Eintrag Mi 5. VIII. 1936

11 – 12 RosserPRosser, John Barkley, 1907–1989, am. Mathematiker, erklärt mir seinen Beweis über Ergänzung einer Sprache (nach Art der Regel UF2 für I.).89Beweis nach der Regel, John Barkley Rosser: “A Mathematical Logic Without Variables”, Princeton University, 1935; Annals of mathematics, 1935, Vol.36 (1), p.127-150– Angefangen, MS für Vortrag „Logik“B1937@„Logic“, Factors Determining Human Behavior, Cambridge MA, 1937, 107–118 auszuarbeiten, in Deutsch. 🕮