. . . . . . . "Georg Kriesel correspondence with Jean van Heijenoort"@en . "Correspondence, notes, memoranda, articles and other materials by Professor Georg Kreisel, sent to his colleague, Professor J. van Heijenoort of Harvard University. Includes some correspondence with other colleagues."@en . . . . . . . . .