First-Order Logic

First-Order Logic - Dover Books on Mathematics

Paperback (01 Apr 1995)

  • $11.63
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within one working day

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.

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