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