- 出版社:Dover Publications Inc.
- 出版年月:2000年 02月
- ISBN:9780486683706
- 装丁:PAP
-
装丁について
- 言語:ENG
- 巻数・ページ数:176 p.
- 分類: 集合論・論理学
- DDC分類:511.3
- 内容紹介:
-
スマリヤンのタブロー解説書の名著。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.