Theory of Formal Systems. (AM-47)
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
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Princeton, NJ
Princeton University Press
2016, [2016]©1961
|
| Series: | Annals of Mathematics Studies
|
| Subjects: | |
| Online Access: | |
| Collection: | DeGruyter MPG Collection - Collection details see MPG.ReNa |
| Summary: | 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 |
|---|---|
| Item Description: | Mode of access: Internet via World Wide Web |
| Physical Description: | online resource |
| ISBN: | 9781400882007 |