Stanford Phil 151: First-Order Logic

Created by: Roger Grosse
Intended for: Phil 151 students, anyone interested in logic

Phil 151, First-Order Logic, is the second term of Stanford's undergraduate logic sequence.