The Bulletin of Symbolic Logic, December 1995
Contains obituary by H. B. Enderton.

No queries for www.math.ucla.edu/~asl/bsl/0104-toc.htm