Language, proof and logic
著者
書誌事項
Language, proof and logic
CSLI Publications, 2011
2nd ed
- : pbk
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes indexes
Accompanied by leaflet "Language, proof and logic 2nd edition software manual" (56 p. ; 22 cm.)
"Text/Software Package"--Cover
内容説明・目次
内容説明
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.
「Nielsen BookData」 より