Logic for Applications This textbook provides a first introduction to mathematical logic which is closely attuned to the ap
