The universal computer : the road from Leibniz to Turing / Martin Davis. - Davis, Martin, 1928- (OLS)http://pul/name/48980 (W. W. Norton & Company, 2000)
Indice : p. 249-257.
Bibliografia in appendice.