Produkt mají v nabídce:
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).