O computador universal : matemáticos e origens do computador / Martin Davis ; trad. Maria Alice Gomes da Costa ; revisão científica José Félix Costa
. - 1ª ed
. - Lisboa : Bizâncio,, 2004
. - 289 p. : il. ; 24 cm
. - (A máquina do mundo , 15)
. - Tit. orig.: Engines of logic - mathematicians and the origin of the computer
. - Bibliografia, p. 271-278