First-Order Logic and Automated Theorem Proving

Authors:

ISBN: 978-1-4612-7515-2 (Print) 978-1-4612-2360-3 (Online)