Recursion Theory for Metamathematics

by Raymond M. Smullyan

2020-11-20 00:40:08

Compare Price
This work is a sequel to the author''s Godel''s Incompleteness Theorems, though it can be read independently by anyone familiar with Godel''s incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory t... Read more
This work is a sequel to the author''s Godel''s Incompleteness Theorems, though it can be read independently by anyone familiar with Godel''s incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics ofincompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field. Less

Book Details

File size9.29 X 6.18 X 0.79 in
Print pages184
PublisherOxford University Press
Publication date January 28, 1993
Languageeng
ISBN9780195344813
Raymond Smullyan, well-known mathematician and logician, is Oscar Ewing Professor of Philosophy Emeritus at Indiana University and Professor Emeritus at the City University of New York—Lehman Co...

Compare Prices

Store Availability Book Format Condition Price
eBooks.com In Stock PDF (encrypted) PDF (encrypted) Buy AUD 198.30
Indigo Books & Music In Stock Buy CAD 176.00
eBooks.comIn Stock
Format
PDF (encrypted)
Condition
PDF (encrypted)
Buy AUD 198.30
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 176.00
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free