Title: Mathematical logic
Description: Mathematical logic is the art and science of mathematical reasoning. Written for the undergraduate logic user, this text presents mathematical or 'symbolic' logic as a reliable tool for deductive reasoning in computer science, mathematics, philosophy, and other related disciplines.
Subjects: Symbolic and mathematical Logic, Textbooks, Logic, symbolic and mathematical, Set theory