JACOB,T.SCHWARTZ. <br/><br/>
COMPUTATIONAL LOGIC AND SET THEORY / 
JACOB T.SCHWARTZ. 
 - LONDON ;  SPRINGER,  2011. 
 - 416 P. ; 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Dewey Class. No.: </label>511.322  / JAC