Paul C. Gilmore <br/><br/>
Logicism Renewed  Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 

 -  Taylor and Francis  2005 
<br/><br/><label>ISBN: </label>9780429064821 
<br/><br/><label>Source: </label>EBOOK