with Schiemer, G. , Reck, E. , 2017, 'Carnap's early metatheory: scope and limits', Synthese 194 (1), 33-65.
, 2003a, 'The practice of finitism: epsilon calculus and consistency proofs in Hilbert's program', Synthese 137 (1-2), 211-259.