7 ms·
For independent study a leaner approach might be best (the open logic textbook is meant to be remixed to form a course, so it includes a lot of material). I thi
by fmoralesc 8y ago
For independent study a leaner approach might be best (the open logic textbook is meant to be remixed to form a course, so it includes a lot of material). I think Daniel Velleman's "How to Prove It" is a good textbook for learning to deal with proofs, plenty of exercises there and it has a more practical approach (it is intended for CS and math students). Volker Halbach's "The Logic Manual" is good, as is Restall's "Logic", although both are oriented to philosophy students.
EDIT: s/"How to Solve It"/"How to Prove It".
- maroonblazer 8y agoTo clarify: Velleman wrote "How to Prove It": https://www.amazon.com/How-Prove-Structured-Approach-2nd/dp/0521675995 https://www.amazon.com/How-Prove-Structured-Approach-2nd/dp/... Polya wrote "How to Solve It": https://www.amazon.com/How-Solve-Mathematical-Princeton-Science/dp/069111966X https://www.amazon.com/How-Solve-Mathematical-Princeton-Scie...
- fmoralesc 8y agoSorry, you are right (I actually have both in front of me... and Beeler's "How to Count"). Polya is also a nice read ;)