Jacques Herbrand - Bibliography

Bibliography

Primary literature:

• 1967. Jean van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, Mass.: Harvard Univ. Press.
  • 1930. "Investigations in proof theory," 525-81.
  • 1931. "On the consistency of arithmetic," 618-28.
• 1968. Jean van Heijenoort (ed.), Jacques Herbrand, Écrits logiques. Paris: Presses Universitaires de France.
• 1971. Warren David Goldfarb (transl., ed.), Logical Writings of Jacques Herbrand Cambridge, Mass.: Harvard University Press.