Rajaa
Hakutulokset: 019508232X kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
Recursion Theory for Metamathematics
sidottu,
1993,
englanti,
ISBN 9780195082326
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano …