A. Burdman Feferman, Solomon Feferman: Jean van Heijenoort (1912-1986). Logic Colloquium 1985: 1-8