CONCISE INTRODUCTION TO LOGIC