Reductive logic and proof-search 
Pym, David J. 
 - Oxford :  Clarendon,  2004 
 - 1 online resource (xv, 208 p.) :  ill. 
<br/><br/><label>ISBN: </label>9780191712012 (ebook) : | 0191712019 (ebook) :