HPL 442 Logic

An examination of the methods and techniques of formal logic, including the history of the discipline from Aristotle through Leibniz, Frege, Russell, Quine, and others.

Credits

3

Prerequisite

HPL 111 or HPL 112