Additional Information | |||
---|---|---|---|
Title | First Order Logic | Height | 22 mm |
Author | Raymond M. Smullyan | Width | 14 mm |
ISBN-13 | 9780486481500 | Binding | PAPERBACK |
ISBN-10 | #0486481506 | Spine Width | |
Publisher | Dover Eou Titles | Pages | 158 |
Edition | Availability | Out Of Stock |

Supplemental materials are not guaranteed for used textbooks or rentals (access codes, DVDs, CDs, workbooks).
First Order Logic
Author: Raymond M. Smullyan
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. Paperback , 158 pages Published by DOVER EOU TITLES (first published 1968)