Klicka på en bild för att gå till Google Book Search.
Laddar... Recursion Theory for Metamathematics (utgåvan 1993)av Raymond M. Smullyan
VerksinformationRecursion Theory for Metamathematics av Raymond Smullyan
Ingen/inga Laddar...
Gå med i LibraryThing för att få reda på om du skulle tycka om den här boken. Det finns inga diskussioner på LibraryThing om den här boken. Inga recensioner inga recensioner | lägg till en recension
Ingår i förlagsserien
This work is a sequel to the author's 'GoÌ?del's Incompleteness Theorems', though it can be read independently by anyone familiar with GoÌ?del's incompleteness theorem for Peano arithmetic. The text 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. Inga biblioteksbeskrivningar kunde hittas. |
Pågående diskussionerIngen/inga
Google Books — Laddar... GenrerMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicKlassifikation enligt LCBetygMedelbetyg: Inga betyg.Är det här du? |