Language, Proof, and Logic, Volume 1

Front Cover
CSLI Publications, 2000 - Philosophy - 587 pages
2 Reviews
A textbook designed for interaction between software and text exercises in concepts of logic, language, truth, argument, consequence, proof, and counter-example.

From inside the book

What people are saying - Write a review

LibraryThing Review

User Review  - keaswaran - LibraryThing

The software that comes with this book is really useful for teaching students, and helping them get practice with lots of proofs and translations, without needing a TA to stand over them and answer ... Read full review

User Review - Flag as inappropriate

DONT BUY THIS!!!!!!! The book is okay but the programs are AWFUL!!!!! They constantly crash and freeze, generally in the most important part of my homework. The programs it includes do not even deserve one star but that is the lowest I can give it. This is a waste of money, do not buy it!!!! 


Atomic Sentences
The Logic of Atomic Sentences

20 other sections not shown

Other editions - View all

Common terms and phrases

About the author (2000)

Etchemendy is Associate Professor of Philosophy at Stanford University and Researcher at the Center for the Study of Language and Information.

Bibliographic information