Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Diagonalization and Self-Reference

Diagonalization and Self-Reference

av Raymond M. (Professor of Philosophy Smullyan

del av Oxford Logic Guides-serien

Diagonalization and Self-Reference av Raymond M. (Professor of Philosophy Smullyan
Om Diagonalization and Self-Reference

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

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198534501
  • Format:
  • Inbunden
  • Sidor:
  • 412
  • Utgiven:
  • 1. september 1994
  • Mått:
  • 166x244x29 mm.
  • Vikt:
  • 778 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 24. december 2024
Förlängd ångerrätt till 31. januari 2025

Om Raymond M. (Professor of Philosophy Smullyan

Se alla böcker av Raymond M. (Professor of Philosophy Smullyan

Beskrivning av Diagonalization and Self-Reference

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

Användarnas betyg av Diagonalization and Self-Reference



Andra köpte även...
Hitta liknande böcker
Boken Diagonalization and Self-Reference finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.