References for Abraham Fraenkel

1. B van Rootselaar, Biography in Dictionary of Scientific Biography (New York 1970-1990).
   http://www.encyclopedia.com/doc/1G2-2830901496.html

Books:

2. Y Bar-Hillel, E I J Poznanski, M O Rabin and A Robinson (eds.), Essays on the foundations of mathematics: Dedicated to A A Fraenkel on his seventieth anniversary (Jerusalem, 1961).
3. P J Cohen, Set theory and the Continuum Hypothesis (New York, 1966).
4. K Schütte, Beweistheorie (Berlin, 1960).
5. J van Heijenoort, From Frege to Gödel (Cambridge, Mass., 1967).

Articles:

6. S Feferman, Systems of predicative analysis, J. Symbolic Logic 29 (1964), 1-30.
7. G Kreisel, La prédicativité, Bull. de la Société mathématique de France 88 (1960), 371-391.

October 2003