6 works on record
The Stability of Belief
Inference on the Low Level
Philosophy of mathematics
Reduction - Abstraction - Analysis
Reduction
Logic, Methodology and Philosophy of Science