First Order Logic

Supplemental materials are not guaranteed for used textbooks or rentals (access codes, DVDs, CDs, workbooks).

First Order Logic

Author:

Availability: Out Of Stock

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)

This book is out of stock

Seller: BookChor
Dispatch Time : 1-3 working days
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)
Additional Information
Title First Order Logic Height 22
Raymond M. Smullyan Width 14.6
ISBN-13 9780486481500 Binding Paperback
ISBN-10 #0486481506 Spine Width
Publisher Dover Eou Titles Pages 158
Edition 2010 Availability Out Of Stock

Goodreads reviews


Free shipping

On order over ₹399
 

Replacement

15 days easy replacement
 

9050111218

Customer care available