Logic

BC is the Library of Congress class for works on logic, covering the principles and methods of reasoning, both formal and informal. It includes treatises on symbolic and mathematical logic, deductive and inductive techniques, and the history and philosophy of logical theory.