Annals of Mathematics Studies
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.
- Författare
- Raymond M. Smullyan
- ISBN
- 9781400882007
- Språk
- engelska
- Utgivningsdatum
- 2.3.2016
