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

by 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.

• Format: Paperback
• Language: English
• ISBN: 069108047X
• ISBN13: 9780691080475
• Release Date: April 1961
• Publisher: Princeton University Press
• Length: 156 Pages
• Weight: 0.47 lbs.
• Dimensions: 0.4" x 5.9" x 8.9"