Gabbay, Dov M, Ed <br/><br/>
Frontiers of combining systems 

 - Baldock  Research Studies Press  2000 
 - xiii,407p p. 
<br/><br/><label>ISBN: </label>0-86380-252-4 
<br/><br/><label>Subjects--Index Terms: </label>Logic, Symbolic and mathematical -- Congresses