Diagonalization and Self-Reference

Gebonden Engels 1994 9780198534501
€ 395,88
Levertijd ± 11 werkdagen
Gratis verzonden

Samenvatting

BL An introduction to the topic - pitched at an elementary level

This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.

Specificaties

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

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

€ 395,88
Levertijd ongeveer 11 werkdagen
Gratis verzonden

Rubrieken

Producten

    Auteurs

      Trefwoorden

        Artikelen

          Diagonalization and Self-Reference