Language, Proof, and Logic, Volume 1
CSLI Publications, 2000 - Philosophy - 587 pages
A textbook designed for interaction between software and text exercises in concepts of logic, language, truth, argument, consequence, proof, and counter-example.
42 pages matching domain of discourse in this book
Results 1-3 of 42
What people are saying - Write a review
LibraryThing ReviewUser 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
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!!!!
The Logic of Atomic Sentences
20 other sections not shown