I would be very interested to understand how people use logic theories in day to day life or work?<p>Is this something which one can learn and use in other walks of life, for example programming or ML?<p>Edit:<p>What I often find is that reading this type of material seems very mentally stimulating, but these texts do not seem to offer any introduction or intuition as to why someone should learn this material or how to use it outside of the logic domain.
Why would you link to a page that explains nothing about the project?<p>This link goes to <a href="http://builds.openlogicproject.org/" rel="nofollow">http://builds.openlogicproject.org/</a> which explains nothing.<p>Why not link to <a href="http://openlogicproject.org/" rel="nofollow">http://openlogicproject.org/</a>
Has anyone here taught out of any of these, or tried working through any of them? I'd be very interested in comments, general or specific. (I am starting up a Logic class at my school.)
Do these books also have an accompanying solution manual?<p>I couldn't find them on the website. I'd love to work my way through these books. However, I'm afraid the reality will be that I'll get stuck on solution, can't figure it out within an hour, and lose motivation.