Rajaa
Hakutulokset: 0198534507 kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
Diagonalization and Self-reference
sidottu,
1994,
englanti,
ISBN 9780198534501
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and …