Complete Stanford's course Introduction to Logic