Open Logic Project: An Open-Source, Collaborative Logic Text

If you did well in geometry you should be fine with logic.<p>They&#x27;re very similar in the pattern of working out proofs.<p>That&#x27;s what I remember over 30th years ago in intro to logic (philosophy course not math or comp-sci) being similar to my 9th grade geometry class proofs.<p>The skill to work on in an intro class is to make sentences out of the logic propositions and then work on making ordinary sentences into the logic notation.

Wow! Reading the table of contents, this seems like a pretty complete book. Most introductions to logic neglect the entire area of intuitionistic logic and proof theory so it&#x27;s nice to see one that covers that along with the usual infinitarian stuff (FOL, model theory, computability, etc.)

Thanks for the link. Definitely will be reading the book. I am going to university this fall. Of all the courses I will be taking this year. Proofs seem the most hardest. Is there any tips to tackle this?