News for hackers. Stuff that matters.

A comment on Open Logic Project: An Open-Source, Collaborative Logic Text. Parent comment

Re:Open Logic Project: An Open-Source, Collaborative Logic Text by fmoralesc on Sunday August 12, 2018 @10:47AM (#17744568)
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".

[ Parent | on HN ]
Re:Open Logic Project: An Open-Source, Collaborative Logic Text by maroonblazer on Sunday August 12, 2018 @11:19AM (#17744702)
To clarify:

Velleman wrote "How to Prove It": https://www.amazon.com/How-Prove-Structured-Approach-2nd/dp/...

Polya wrote "How to Solve It": https://www.amazon.com/How-Solve-Mathematical-Princeton-Scie...

[ Parent | on HN ]
Re:Open Logic Project: An Open-Source, Collaborative Logic Text by fmoralesc on Sunday August 12, 2018 @12:00PM (#17744913)
Sorry, you are right (I actually have both in front of me... and Beeler's "How to Count"). Polya is also a nice read ;)
[ Parent | on HN ]