Ch1.1
Foundations of Logic Mathematical Logic is a tool for working with elaborate compound statements. It includes: A formal language for expressing them.
2009/9 1 Logic and Proofs §1.1 Introduction §1.2 Propositional Equivalences §1.3 Predicates and Quantifiers §1.4 Nested Quantifiers §1.5~7 Methods of.
Foundations of Logic
The Fundamentals of Logic
University of Aberdeen, Computing Science CS2013 Mathematics for Computing Science Adam Wyner