Feferman. The Gödel Editorial Project: A Synopsis. no. 02, Cambridge University Press (CUP), 2005, doi:10.2178/bsl/1120231626.