Title: Introduction to Mathematical Logic and Resolution Principle