Mathematical logic in the 20th and 21st centuries. FOM mailing list (2000)

by Harvey M Friedman
Venue:April