Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
"logical dilemmas: the life and work of kurt gödel", a.k.
"logical dilemmas: the life and work of kurt gödel", a. k. peters, wellesley mass, isbn 1-56881-256-6.
a noção atual de computação foi isolada logo depois, começando com o teorema da incompletude de gödel.
the actual notion of computation was isolated soon after, starting with gödel's incompleteness theorem.