First Order Mathematical Logic
送料無料(コンビニ送料含む)
0.0 (0件)
2,227円 (税込み)
(2025/01/07 18:22:45時点の在庫、価格情報です。詳しくは販売ページにてご確認下さい。)商品情報
| 著者名 | Angelo Margaris |
| 出版社名 | DOVER PUBN INC |
| ISBNコード | 9780486662695 |
| 発売日/出版年度 | 1990年 |
商品説明
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus.Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.