John W. Dawson Jr. Cheryl A. Dawson Future tasks for Gödel scholars. 150-171 2005 11 Bulletin of Symbolic Logic 2 http://www.math.ucla.edu/~asl/bsl/1102/1102-004.ps db/journals/bsl/bsl11.html#DawsonD05