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