Formal systems and recursive functions / 
edited by J. N. Crossley and M. A. E. Dummett 
 - Amsterdam :  North-Holland Pub.,  1965 
 - [vii], 320 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics .
<br/><br/> Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute  Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science 
<br/><br/><label>ISBN: </label> PND 40.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Recursive functions
<br/><br/><label>Dewey Class. No.: </label>164