Logic is sometimes called the foundation of mathematics: the logicianstudies the kinds of reasoning used in the individual steps of a proof.Alonzo Church's contributions to number theory and theories of algorithms andcomputability laid the theoretical foundations of computer science. This bookis a basic source for understanding formal logic.