Herbrand Award acceptance speech
From MaRDI portal
Publication:1425162
DOI10.1023/B:JARS.0000009552.54063.F3zbMath1040.03002MaRDI QIDQ1425162
Publication date: 15 March 2004
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Mechanization of proofs and logical operations (03B35) History of mathematical logic and foundations (03-03) History of computer science (68-03)
Related Items (2)
Jean van Heijenoort's contributions to proof theory and its history ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
This page was built for publication: Herbrand Award acceptance speech