
 Catalogue Borgers  Archives Henri Poincaré 
  BETH, Ewert W., "Hundred years of symbolic logic: a retrospect on the occasion of the Boole de Morgan centenary", Dialectica, vol 1, 1947, pp 333346. 
  CHURCH, A., 1976, "Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski", The Journal of Symbolic Logic, 41, 747760. 
  CURRY, H.B., 1931 (reçu en 1930, présenté en 1929), "The Universal Quantifier in Combinatory Logic", Annals of Mathematics, 32, 154180. 
 www.univnancy2.fr /poincare/chp/bibborgers.html (13038 words) 
