Akihiro Kanamori
Putnam's constructivization argument
2018
in: Hilary Putnam on logic and mathematics, Dordrecht : Springer
Calculus of variations, applied mathematics, and physics/Variationsrechnung, angewandte mathematik und physik2013
Dordrecht, Springer
Preface
1997
Synthese 111/2
The emergence of descriptive set theory
1995
in: From Dedekind to Gödel, Dordrecht : Springer