- Main
- Mathematics
- Recursion Theory for Metamathematics
Recursion Theory for Metamathematics
Raymond M. SmullyanHow much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
This work is a sequel to the author's G?del's Incompleteness Theorems, though it can be read independently by anyone familiar with G?del's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
Categories:
Year:
1993
Publisher:
Oxford University Press
Language:
english
Pages:
180
ISBN 10:
1423734548
ISBN 13:
9781423734543
Series:
Oxford Logic Guides 22
File:
PDF, 3.26 MB
Your tags:
IPFS:
CID , CID Blake2b
english, 1993
The file will be sent to your email address. It may take up to 1-5 minutes before you receive it.
The file will be sent to you via the Telegram messenger. It may take up to 1-5 minutes before you receive it.
Note: Make sure you have linked your account to Z-Library Telegram bot.
The file will be sent to your Kindle account. It may take up to 1–5 minutes before you receive it.
Please note: you need to verify every book you want to send to your Kindle. Check your mailbox for the verification email from Amazon Kindle.
Conversion to is in progress
Conversion to is failed
Premium benefits
- Send to eReaders
- Increased download limit
- File converter
- More search results
- More benefits