Recursion Theory for Metamathematics

Raymond M. Smullyan

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).
  • Limba : Engleza
  • Data Publicarii : 28 Jan 1993
  • Format : Hardback
  • Numar pagini : 178
  • ISBN : 9780195082326
Rating:
298.99 Lei
Disponibilitate : 4-6 saptamani

Acest produs este disponibil in stocul furnizorilor okian.ro si poate fi livrat in 4-6 saptamani