Journal | Contributors | Profile

(2003). Hilbert's program revisited. Synthese 137 (1-2), pp. 157-177.

(2003). More on Putnam and Tarski. Synthese 135 (1), pp. 37-47.

(2000). Algorithmic information theory and undecidability. Synthese 123 (2), pp. 217-225.