Theory of Formal Systems. (AM-47), Volume 47
Princeton, NJ: Princeton University Press, [2016]
Online
Monographie, Elektronische Ressource
- 1 online resource (156 p.)
Ermittle Ausleihstatus...
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
Titel: |
Theory of Formal Systems. (AM-47), Volume 47
|
---|---|
Verantwortlichkeitsangabe: | Raymond M. Smullyan |
Autor/in / Beteiligte Person: | Smullyan, Raymond M. |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Princeton, NJ: Princeton University Press, [2016] |
Medientyp: | Monographie |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 online resource (156 p.) |
ISBN: | 9781400882007 |
DOI: | 10.1515/9781400882007 |
Schlagwort: |
|
Sonstiges: |
|