Feferman, Solomon In memoriam: Kenneth Jon Barwise, 1942–2000. (English) Zbl 0972.01040 Bull. Symb. Log. 6, No. 4, 505-508 (2000). MSC: 01A70 03-03 × Cite Format Result Cite Review PDF Full Text: DOI Link
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. Does mathematics need new axioms? (English) Zbl 0977.03002 Bull. Symb. Log. 6, No. 4, 401-446 (2000). Reviewer: Elliott Mendelson (Flushing) MSC: 03A05 00A30 03E55 03E99 × Cite Format Result Cite Review PDF Full Text: DOI Link