Bibliographic Information

Language proof and logic

Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu

CSLI Publications, c2002

  • : pbk

Other Title

Language proof & logic

Search this Book/Journal
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"

Details
  • NCID
    BA58284428
  • ISBN
    • 9781575863740
  • LCCN
    99041113
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Stanford, Calif.
  • Pages/Volumes
    xi, 587 p.
  • Size
    24 cm.
  • Attached Material
    1 compact disc
  • Classification
  • Subject Headings
Page Top