Domolki B. <br/><br/>
Mathematical Logic in Computer Science 
/ by B.Domolki 
 - New York  NithHolland  1981 
 - 757p.