Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan.
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.
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2016] ©1961 |
| Year of Publication: | 2016 |
| Language: | English |
| Series: | Annals of Mathematics Studies ;
47 |
| Online Access: | |
| Physical Description: | 1 online resource (156 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|