First-Order Logic

ISBN: 9780486683706

出版社: Dover Publications

出版年: 1995-1

页数: 176

定价: USD 9.95

装帧: Paperback

内容简介

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.