Theory of Formal Systems

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

Info autore

Raymond M. Smullyan

Riassunto

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

Dettagli sul prodotto

• Autori: R. M. Smullyan, Raymond Smullyan, Raymond M. Smullyan
• Con la collaborazione di: Phillip Griffiths (Editore), John N. Mather (Editore), Elias Smullyan (Editore)
• Editore: Princeton University Press
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 21.04.1961
• EAN: 9780691080475
• ISBN: 978-0-691-08047-5
• Pagine: 156
• Serie: Annals of Mathematics Studies; Annals of Mathematics Studies
• Categorie: Scienze naturali, medicina, informatica, tecnica > Scienze naturali, tematiche generali; MATHEMATICS / Logic, Mathematical logic