- #631
gentzen
Science Advisor
Gold Member
- 945
- 750
Frank Pfenning's Automated Theorem Proving Handouts are a nice easily accessable resource for many topics in Logic from a non-philosophical engineering point of view.LittleSchwinger said:Trying to read about Logic, which I never covered in much depth as a physicist. Currently on "First Steps in Modal Logic" by Sally Popkorn. I really recommend Schechter's "Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions"