BUTTS,Robert E. <br/><br/>
Logic foundations of mathematics and computability theory:  part one of the proceedings of the fifth international congress of logicmethodology and philpsophy of science London Ontario Canada 1975/ 
Robert E. Butts and Jaakko Hintakka 
 - Dorddrech  D.Reidelpublishing company  c1975 
 - 406p.: 
<br/><br/> Include Index 
<br/><br/><label>ISBN: </label>9027707081 
<br/><br/><label>Dewey Class. No.: </label>511.3