Smullyan, Raymond M <br/><br/>
Theory of formal systems 

 - Princeton, N.J.  Princeton University Press  1961 
 - 142 p. 
 - Annals of mathematics studies, 47 .
<br/><br/> """A revision of the author's recent doctoral dissertation - Princeton" 
<br/><br/><label>ISBN: </label>9780691080475 069108047X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursive function<br/> Mata mathematics.
<br/><br/><label>Dewey Class. No.: </label>512.8  / S6T4