Title: A MODERN INTRODUCTION TO LOGIC