Jacques Herbrand (herbrand)

Contributions à Philosophie.ch

Bibliography

Herbrand, Jacques. 1928. “Sur la théorie de la démonstration.” Comptes rendues hebdomadaires des séances de l’Académie des sciences (Paris) 186: 1274–1276. Translated in Herbrand (1971, 29–34).
Herbrand, Jacques. 1929a. “Non-contradiction des axiomes arithmétiques.” Comptes rendues hebdomadaires des séances de l’Académie des sciences (Paris) 188: 303–304. Translated in Herbrand (1971, 35–37).
Herbrand, Jacques. 1929b. “Sur quelques propriétés des propositions vraies et leurs applications.” Comptes rendues hebdomadaires des séances de l’Académie des sciences (Paris) 188: 1076–1078. Translated in Herbrand (1971, 38–40).
Herbrand, Jacques. 1929c. “Sur le problème fondamental des mathématiques.” Comptes rendues hebdomadaires des séances de l’Académie des sciences (Paris) 189: 554–556, 720. Republié comme Herbrand (1931a) et dans Herbrand (1968, 31–33), translated in Herbrand (1971, 41–43).
Herbrand, Jacques. 1930a. “Recherches sur la théorie de la démonstration.” Th{\`e}se de doctorat, Paris: Université de Paris. Reprinted in Herbrand (1968, 35–153); reprint and translation of chapter 5 in van Heijenoort (1967, 525–581).
Herbrand, Jacques. 1930b. Recherches sur la théorie de la démonstration. Varsovie: J. Dzielwuski. Translated in Herbrand (1971, 44–202).
Herbrand, Jacques. 1930c. “Les bases de la logique hilbertienne.” Revue de métaphysique et de morale 37: 243–255. Republié dans Herbrand (1968, 155–166), translated in Herbrand (1971, 203–214).
Herbrand, Jacques. 1931a. “Recherches sur la théorie de la démonstration [note non signée sur Herbrand (1930a)].” Annales de l’Université de Paris 6: 186–189. Translated in Herbrand (1971, 272–276).
Herbrand, Jacques. 1931b. “Sur la non-contradiction de l’arithmétique.” Journal für die reine und angewandte Mathematik 166: 1–8. Republié dans Herbrand (1968, 221–232); reprinted and translated in van Heijenoort (1967, 618–628) and in Herbrand (1971, 282–298).
Herbrand, Jacques. 1931c. “Sur le problème fondamental de la logique mathématique.” Sprawozdania z posiedzén Towarzystwa Naukowego Warszawskiego, Wydzial III 24: 12–56. Translated in Herbrand (1971, 215–271).
Herbrand, Jacques. 1931d. “Notice pour Jacques Hadamard.” in Écrits logiques, pp. 215–219. Paris: Presses universitaires de France. Translated in Herbrand (1971, 277–281).
Herbrand, Jacques. 1936. Le développement moderne de la théorie des corps algébraiques: corps de classes et lois de réciprocité. Paris: Gauthier Villars Éditeur. Translated in Herbrand (1971).
Herbrand, Jacques. 1968. Écrits logiques. Paris: Presses universitaires de France. Édité et avec une préface de Jean van Heijenoort.
Herbrand, Jacques. 1971. Logical Writings. Dordrecht: D. Reidel Publishing Co. Edited by Warren D. Goldfarb, translation of Herbrand (1968).

Further References

van Heijenoort, Jan, ed. 1967. From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931. Cambridge, Massachusetts: Harvard University Press.