Pym, Ritter <br/><br/>
Reductive Logic and Proof-search 

 -  Oxford University PressOxford University Press  2007 
<br/><br/><label>ISBN: </label>9780191712012 
<br/><br/><label>Source: </label>EBOOK