In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logi

Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and

Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choi