Keywords: Jacques Herbrand
2009
[2] Lectures on Jacques Herbrand as a Logician (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), SEKI Publications (ISSN 1437-4447), 2009. (arXiv:0902.4682) [bibtex] [pdf]
[1] Jacques Herbrand: Life, Logic, and Automated Deduction (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), Chapter in Handbook of the History of Logic, Volume 5 -- Logic from Russell to Church (Dov Gabbay, John Woods, eds.), Elsevier, 2009. [bibtex] [pdf] [doi]
Powered by bibtexbrowser