Smullyan, Raymond M. <br/><br/>
Theory of formal systems/ 
Raymond M. Smullyan. 
 - Princeton, N.J.:  Princeton University Press,  1961. 
 - 142 p.:  illus.,  26 cm. 
 - Annals of mathematics studies;  47 .
<br/><br/>Includes bibliography. 
<br/><br/><label>LCCN: </label>60014063 /L/r84 
<br/><br/><label>Nat. Bib. No.: </label>GB61-18841 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Fonctions récursives.<br/>Métamathématique.<br/>Recursive functions<br/>Metamathematics.
<br/><br/><label>Dewey Class. No.: </label>511.3  / S666t