Butterfill

Logic 1

Visit Course

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

Command Palette
Search for a command to run