First-order Logic

First-order Logic
ISBN-10
0486683702
ISBN-13
9780486683706
Category
Mathematics
Pages
180
Language
English
Published
1995-01-01
Publisher
Courier Corporation
Author
Raymond M. Smullyan

Description

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.

Other editions

Similar books