Propositional Logic: Deduction and Algorithms

by Hans Kleine Büning and Theodor Lettmann

Here is an excellent introduction to classical logic, emphasizing the computational aspects. It addresses the question of whether or not one logical statement follows from another by examining... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521630177
• ISBN13: 9780521630177
• Release Date: August 1999
• Publisher: Cambridge University Press
• Length: 420 Pages
• Weight: 1.49 lbs.
• Dimensions: 1.0" x 6.0" x 9.0"