Clausal Form Logic: An Introduction to the Logic of Computer Reasoning

by Thomas J. Richards and Tom Richards

Clausal form logic is an important type of formal logic. Having evolved out of human reasoning, it represents the ideas to which all computer-based systems must approximate. Most present day... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0201129205
• ISBN13: 9780201129205
• Release Date: January 1989
• Publisher: Addison Wesley Publishing Company
• Length: 359 Pages
• Weight: 1.22 lbs.
• Dimensions: 0.8" x 6.2" x 9.2"