Join thousands of book lovers
Sign up to our newsletter and receive discounts and inspiration for your next reading experience.
By signing up, you agree to our Privacy Policy.You can, at any time, unsubscribe from our newsletters.
Recursion Theory for Metamathematics
part of the Oxford Logic Guides series
- Binding:
- Hardback
- Pages:
- 184
- Published:
- July 14, 1993
- Dimensions:
- 242x163x17 mm.
- Weight:
- 422 g.
Delivery:
2-3 weeks
Expected delivery: December 12, 2024
About Raymond M. (Professor of Philosophy Smullyan
View all books by Raymond M. (Professor of Philosophy SmullyanDescription of 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).
User ratings of Recursion Theory for Metamathematics
Rate this book
In order to rate this book you must be logged in.Others also bought..
Find similar books
The book Recursion Theory for Metamathematics can be found in the following categories:
You can, at any time, unsubscribe from our newsletters.
© 2024 Tales
All packages are shipped from our warehouse in the UK.
Company address: Esromgade 15, 3. - 2200 - DK
Registered company number: DK43351621
