Truth-functional logic and quantification theory; deductive techniques and translation into symbolic notation. Course Credits 3
