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.

Über den Autor / die Autorin

Raymond M. Smullyan

Zusammenfassung

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.

Produktdetails

• Autoren: R. M. Smullyan, Raymond Smullyan, Raymond M. Smullyan
• Mitarbeit: Phillip Griffiths (Herausgeber), John N. Mather (Herausgeber), Elias Smullyan (Herausgeber)
• Verlag: Princeton University Press
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 21.04.1961
• EAN: 9780691080475
• ISBN: 978-0-691-08047-5
• Seiten: 156
• Serien: Annals of Mathematics Studies; Annals of Mathematics Studies
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Naturwissenschaften allgemein; MATHEMATICS / Logic, Mathematical logic