First-Order Logic
by Raymond M Smullyan (9780486683706)

First-Order Logic
Raymond M Smullyan
Release Date: 10 December 1300
Format: Paperback / softback
Pages: 176
Category: Logic
ISBN: 9780486683706
ISBN-10: 0486683702

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.

AUD $17.95

 This title is not held in stock & is ordered from suppliers, subject to availability.

View other Raymond M Smullyan titles like "First-Order Logic"

Write a customer review of First-Order Logic.

If you like this title please tell others:

tell others

post to your Facebook wall post on Twitter post on Digg recommend to Stumbleupon bookmark on Delicious RSS feed send to a friend

Australian BookShop
Australian Bookshop. Established 2003
Shopping Cart Customer Support

International Online Store
of Inspiration
we ship everywhere
Australia Post
Australia Wide