Reasoning in Simple Type Theory
3 contributors - Paperback
£17.50
Automated Reasoning in Higher-order Logic
Chad E Brown - Paperback
