Detail produktu

Produkt mají v nabídce:

Bookshop
6 094 Kč
Do eshopu

Recursion Theory for Metamathematics - Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University)

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

Podobné produkty

↑