Theory of Formal Systems
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.
Specificaties
ISBN/EAN | 9780691080475 |
Auteur | Raymond M. Smullyan |
Uitgever | Van Ditmar Boekenimport B.V. |
Taal | Engels |
Uitvoering | Paperback / gebrocheerd |
Pagina's | 156 |
Lengte | 235.0 mm |
Breedte | 159.0 mm |