,

Diagonalization and Self-Reference

Gebonden Engels 1994 9780198534501
€ 363,25
Levertijd ongeveer 11 werkdagen
Gratis verzonden

Samenvatting

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 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.

Specificaties

ISBN13:9780198534501
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:412

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

€ 363,25
Levertijd ongeveer 11 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Diagonalization and Self-Reference