First-order Logic
Author | : Raymond M. Smullyan |
Publisher | : Courier Corporation |
Total Pages | : 180 |
Release | : 1995-01-01 |
ISBN-10 | : 0486683702 |
ISBN-13 | : 9780486683706 |
Rating | : 4/5 (02 Downloads) |
Download or read book First-order Logic written by Raymond M. Smullyan and published by Courier Corporation. This book was released on 1995-01-01 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.