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 |