Title: Wahrheit und Beweisbarkeit 2. Kompendium zum Werk
Subjects: Correspondence, Logicians, Biography, Metamathematics