# Math - Logic

Established by Aristotle as a formal discipline, logic not only applies to mathematics but to philosophy and computer science as well. Our low-priced books on logic examine the axiom of choice, Boolean reasoning, abstract structure, mathematical logic, formal languages, symbolic logic, model theory, and more.