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 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 ]