"Archives"@en . . . . . . . . . "Collection documents the career of Jean van Heijenoort (1912-1986) in mathematical logic and its history."@en . . . . . . "Van Heijenoort, Jean, papers"@en . "History"@en . . . .