bokomslag Diagonalization and Self-Reference
Data & IT

Diagonalization and Self-Reference

Raymond M Smullyan

Inbunden

5309:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 412 sidor
  • 1994
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gdel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
  • Författare: Raymond M Smullyan
  • Format: Inbunden
  • ISBN: 9780198534501
  • Språk: Engelska
  • Antal sidor: 412
  • Utgivningsdatum: 1994-09-01
  • Förlag: Clarendon Press