MA Logic and Philosophy of Mathematics
University of Bristol