Logic and Philosophy of Mathematics - Paper
Hannes Leitgeb
Inference on the Low Level: An Investigation Into Deduction, ...