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. Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

av Raymond M. (Professor of Philosophy Smullyan

del av Oxford Logic Guides-serien

Recursion Theory for Metamathematics av Raymond M. (Professor of Philosophy Smullyan
Om Recursion Theory for Metamathematics

In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780195082326
  • Format:
  • Inbunden
  • Sidor:
  • 184
  • Utgiven:
  • 15 Juli 1993
  • Mått:
  • 242x163x17 mm.
  • Vikt:
  • 422 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 28 Oktober 2024

Om Raymond M. (Professor of Philosophy Smullyan

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

Beskrivning av Recursion Theory for Metamathematics

In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).

Användarnas betyg av Recursion Theory for Metamathematics



Andra köpte även...
Hitta liknande böcker
Boken Recursion Theory for Metamathematics 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.