A mathematical introduction to logic
著者
書誌事項
A mathematical introduction to logic
Harcourt/Academic Press, c2001
2nd ed
大学図書館所蔵 件 / 全52件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.
目次
USEFUL FACTS ABOUT SETS.
SENTENTIAL LOGIC.
FIRST-ORDER LOGIC.
UNDECIDABILITY.
SECOND-ORDER LOGIC.
「Nielsen BookData」 より
