Xiaoli Liu
, 2010, 'Gödel's philosophical program and Husserl's phenomenology',
Synthese
175 (1), 33-45.