Cover -- Contents -- List of Tables -- List of Figures -- Preface -- Acknowledgements -- 1 Language, Logic and Symbols -- 2 Compound Propositions -- 3 Propositional Forms -- 4 Natural Deduction -- 5 Conditional Connective -- 6 Predicate Logic -- 7 First Order Theories -- A Solutions to Exercises -- B Summary of notation -- C Glossary -- D Summary of deduction rules -- E Summary of equivalences -- F Bibliography -- Index.