TY - JOUR AU - Feferman, Solomon IS - 4 JA - Bulletin of Symbolic Logic PB - Association for Symbolic Logic PY - 2000 TI - In Memoriam: Kenneth Jon Barwise 1942–2000 VL - 6 ER -