REFLECTIONS ON FREGE AND HILBERT
AMENDING FREGE'S GRUNDGESETZE DER ARITHMETIK
REAL NUMBERS AND SET THEORY - EXTENDING THE NEO-FREGEAN PROGRAMME BEYOND ARITHMETIC
FREGE'S PERMUTATION ARGUMENT REVISITED
PROBLEMS AND RIDDLES
THE CONSTRUCTIVE HILBERT PROGRAM AND THE LIMITS OF MARTIN-LÖF TYPE THEORY
DEDEKIND'S ANALYSIS OF NUMBER
AGAINST AGAINST INTUITIONISM