Jacques Herbrand: Life, Logic, and Automated Deduction-Reference-Cited by-同舟云学术

Jacques Herbrand: Life, Logic, and Automated Deduction

Published:2009 Issue: Volume: Page:195-254
ISSN:1874-5857
Container-title:Handbook of the History of Logic
language:
Short-container-title:

Author:

Wirth Claus-Peter,Siekmann Jörg,Benzmüller Christoph,Autexier Serge

Publisher

Elsevier

Reference187 articles.

1. Nouvelle demonstration du theoreme d'existence en theorie du corps de classes;Herbrand;Comptes rendus hebdomadaires des seances de l'Academie des Sciences (Paris),1931

2. Sur la theorie de la demonstration;Herbrand;Comptes rendus heb-domadaires des seances de l'Academie des Sciences (Paris),1928

3. Non-contradiction des axiomes arithmetiques;Herbrand;Comptes rendus hebdomadaires des seances de l'Academie des Sciences (Paris),1929

4. Sur quelques proprietes des propositions vraies et leurs applications;Herbrand;Comptes rendus hebdomadaires des seances de l'Academie des Sciences (Paris),1929

5. Sur le probleme fondamental des mathematiques;Herbrand;Comptes rendus hebdomadaires des seances de l'Academie des Sciences (Paris),1929

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. What Is Essential Unification?;Outstanding Contributions to Logic;2016

2. A series of revisions of David Poole’s specificity;Annals of Mathematics and Artificial Intelligence;2015-10-20

3. Guest Editor’s Introduction: JvH100;Logica Universalis;2012-09-04

4. , , and Non-Permutability of -Steps;Journal of Symbolic Computation;2012-09

5. Jean van Heijenoort’s Contributions to Proof Theory and Its History;Logica Universalis;2012-07-26