This is a reference to a great book "Beginning Mathematical Logic: A Study Guide [18 Feb 2022]" by Peter Smith on "Teach Yourself Logic A Study Guide (and other Book Notes)". The document itself is called "LogicStudyGuide.pdf".

It focuses on mathematical logic and can be a gateway into understanding Gödel's incompleteness theorems.

I found this some time ago when looking for a way to grasp the difference between first-order and second-order logics. I recall enjoying his style of writing and his commentary on the books he refers to. Both recollections still remain true after rereading some of it.

It both serves as an intro to and recommended reading list for the following: - classical logics - first- & second-order - modal logics - model theory<br /> - non-classical logics - intuitionistic - relevant - free - plural - arithmetic, computability, and incompleteness - set theory (naïve and less naïve) - proof theory - algebras for logic - Boolean - Heyting/pseudo-Boolean - higher-order logics - type theory - homotopy type theory

Gurung, R. A. R., & Stone, A. (2020, September 14). You Can’t Always Get What You Want and It Hurts: Learning During the Pandemic. https://doi.org/10.31234/osf.io/wqdx8

This website is part of Angelo State University's online teaching training course for faculty members. This section outlines three prominent theories of education-Behaviorism, Social Cognitive Theory, and Constructivism-and applies them to online learning. Instructional Designers and course instructors can use this guide for the construction of meaningful and active learning environment for students. Rating: 10/10