Delivery included to the United States

First-Order Logic

First-Order Logic - Dover Books on Mathematics

Paperback (01 Feb 2000)

  • $11.82
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

About the Publisher

Dover Publications

Since our founding in 1941, we've built our reputation by offering remarkable products at amazing prices.

Book information

ISBN: 9780486683706
Publisher: Dover Publications Inc.
Imprint: Dover Publications
Pub date:
DEWEY: 511.3
DEWEY edition: 20
Language: English
Number of pages: 158
Weight: 210g
Height: 215mm
Width: 139mm
Spine width: 12mm