Recherches sur la théorie de la démonstration

Recherches sur la théorie de la démonstration is Jacques Herbrand’s foundational work in mathematical logic, introducing key results in proof theory and what is now known as Herbrand’s theorem.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.