Recursion Theory for Metamathematics - Oxford Logic Guides - Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University) - Books - Oxford University Press Inc - 9780195082326 - July 15, 1993
In case cover and title do not match, the title is correct

Recursion Theory for Metamathematics - Oxford Logic Guides

Price
$ 295.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 26 - Jul 8
Add to your iMusic wish list

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


178 pages, bibliography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 15, 1993
ISBN13 9780195082326
Publishers Oxford University Press Inc
Pages 184
Dimensions 242 × 163 × 17 mm   ·   422 g
Language English  

Mere med samme udgiver