Filter
Sökt på: Sökresultat
Filter
1 träff
Diagonalization and Self-reference
inbunden,
1994,
Engelska,
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 …