G. Berry, Penser, modéliser et maîtriser le calcul informatique, 2009.

H. Curry and R. Feys, Combinatory Logic I, 1958.

D. , A. Douady, and R. , Algèbre et théories galoisiennes, 2005.

G. , K. S. Feferman, J. W. Dawson, S. C. Kleene, G. H. Moore et al., I : Publications 1929-1936, SOLOVAY et J. van HEIJENOORT, 1930.