|
Sacred Heart University - Summer 2012 | ||
Section AB | ||
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) (1st Edition) by Chin-Liang Chang, Richard Char Lee Hardcover, 331 Pages, Published 1973 ISBN-10: 0-12-170350-9 / 0121703509 ISBN-13: 978-0-12-170350-9 / 9780121703509 This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem pr |