Jean Van Heijenoort

• Correspondance
• From Frege to Gödel