Logic 1
by Stephen A. Butterfill • Spring 2015-16 • University of Warwick, UK
Abstract
An introduction to first order logic for undergraduate students, concluding with informal proofs of soundness and completeness.
For lecture notes, handouts, slides and video, visit the course website
This course uses my free online logic software zoxiy