Ebook: Theory of Formal Systems. (AM-47), Volume 47 (Annals of Mathematics Studies (47))
Author: Raymond M. Smullyan
- Series: Annals of Mathematics Studies (47) (Book 47)
- Year: 1961
- Publisher: Princeton University Press
- Language: English
- djvu
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.
Download the book Theory of Formal Systems. (AM-47), Volume 47 (Annals of Mathematics Studies (47)) for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)