Automation of higher-order logic. (English) Zbl 1404.03005
Gabbay, Dov M. (ed.) et al., Computational logic. Amsterdam: Elsevier/North Holland (ISBN 978-0-444-51624-4/hbk). Handbook of the History of Logic 9, 215-254 (2014).
For the entire collection see [Zbl 1311.03006].
MSC:
| 03-03 | History of mathematical logic and foundations |
| 03B15 | Higher-order logic; type theory (MSC2010) |
| 03B35 | Mechanization of proofs and logical operations |
| 03B40 | Combinatory logic and lambda calculus |
| 03B70 | Logic in computer science |
| 68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |
| 01A60 | History of mathematics in the 20th century |
| 01A61 | History of mathematics in the 21st century |
