ENGLISH

First-Order Logic

By Raymond M. Smullyan

Book information

Year
1995
ISBN
0486683702, 9780486683706
LCC
QA9 .S57 1995
Open Library ID
OL1113808M
Language
english
Format
DJVU
Filesize
2 MB (1855213 bytes)
Pages
179\179
Topic
Mathematics Logic
DPI
600
Orientation
no
Scanned
yes
Time added
2011-06-04 13:46:07

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.

Similar books