Logic for Applications, 1

This textbook provides a first introduction to mathematical logic which is closely attuned to the ap...