Eight Logic Colloquium. Oxford,1963 <br/><br/>
Formal systems and recursive functions - proceedings   
ed. by J.N. Crossley, M.A.E. Dummett 
 - Amsterdam  North-Holland  1965 
 - 320p. 
 - Studies in Logic and the Foundation of Mathematics .
<br/><br/><label>Dewey Class. No.: </label>511.7  / N653