Theory of Formal Systems. (AM-47), Volume 47

Auteur: Smullyan, Raymond M.
Editeur: Princeton University Press
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.
Sur commande
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.
ISBN / EAN 9780691080475
Auteur Smullyan, Raymond M.
Editeur Princeton University Press