Stanford's Introduction to Logic