First Order Logic: Translatiion/Proof

by John Heil

"A compact but thorough introduction to first-order logic, focused on the construction of translations and derivations, but locating these within a broader theoretical framework. This book assumes no... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0867209577
• ISBN13: 9780867209570
• Release Date: March 1994
• Publisher: Jones & Bartlett Publishers
• Length: 309 Pages
• Weight: 1.00 lbs.