Logic for Computer Science
Subtitle: Foundations of Automatic Theorem Proving, Second Edition
Publisher: Dover Publications, Incorporated
Published: 2015
Language: eng
ISBN-13: 9780486805085
Subjects: Logic, symbolic and mathematical