Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Raymond M Smullyan |
| ISBN: | 019508232X 9780195082326 |
| OCLC Number: | 26974961 |
| Description: | xiv, 163 p. ; 25 cm. |
| Series Title: | Oxford logic guides, 22. |
| Responsibility: | Raymond M. Smullyan. |
| More information: |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Recursion theory for metamathematics".
Be the first.
Similar Items
Related Subjects:(9)
- Recursion theory.
- Mathematical logic
- Récursivité, théorie de la.
- Recursie.
- Recursivité, Théorie de la.
- Récursion.
- Gödelisation.
- Système Rosser.
- Condition Putnam-Smullyan.
User lists with this item (1)
- recursivite(10 items)
by rimk

