Language proof and logic
著者
書誌事項
Language proof and logic
CSLI Publications, c2002
- : pbk
- タイトル別名
-
Language proof & logic
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Accompanied by leaflet "LPL software manual" (52 p. ; 22 cm.)
Leaflet of later printing, c2009, slightly changed "Language, proof and logic software manual / Gerald Allwein, ... [et al.]" (56 p. ; 22 cm.)
"Text/Software Package"--Cover
CD Version 1.3 (c2002), version 2.7(c2008)
内容説明・目次
内容説明
This complete text and software package provides a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof and counterexample. Assuming no prior study of logic, Barwide and Etchemendy provide a clear and comprehensive outline of the field - a text appropriate for introductory or secondary courses in logic that incorporates more than enough material to be of use to philosophers, computer scientists, and mathematicians as well. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.
「Nielsen BookData」 より