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.
Try this search over all volumes: counterexample
Results 1-0 of 0
What people are saying - Write a 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!!!!
Review: Language, Proof and Logic: Text and CDUser Review - Eugene - Goodreads
Requires a CD to maximize the books potential. If the book came without the CD, it is useless. It discusses Mathematical Logic in a student-friendly environment using the computer and internet as a medium for various logic exercises. Read full review
The Logic of Atomic Sentences
20 other sections not shown