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