RBJ's Work on The Foundations of Mathematics

Overview Introduction Reals Post Reflexive Classical Categories Mechanisation