This is a standard introductory course to first order logic. We aim at developing students' further interest in more advanced fields in mathematical logic such as model theory, proof theory, recursion theory, and axiomatic set theory. Some of the applied logics such as temporal logic will also be discussed, not only to demonstrate the practical uses of logic but also to indicate some deeper philosophical issues raised by logic.