Language proof and logic
Author(s)
Bibliographic Information
Language proof and logic
CSLI Publications, c2002
- : pbk
- Other Title
-
Language proof & logic
Available at 15 libraries
Note
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)
Description and Table of Contents
Description
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.
by "Nielsen BookData"