Elementary Logic: A Procedural Perspective (Ellis Horwood Series in Artificial Intelligence)

By Dov M. Gabbay and Richard Owens

The paradigm of logic as an executable language is currently based on classical logic, and yet there is no existing formulation of classical logic which leads naturally to, and supports, this... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0137263651
• ISBN13: 9780137263653
• Release Date: January 1998
• Publisher: Prentice Hall Europe
• Length: 384 Pages
• Weight: 1.41 lbs.
• Dimensions: 9.3" x 0.7" x 6.8"