Mathematical logic in computer science / 
edited by D. Domolki and T. Gergely. 
 - Amsterdam :  North-Holland,  1981. 
 - 758 p. :  ill. ;  25 cm. 
 - Colloquia mathematica Societatis Janos Bolyai  26. .
<br/><br/> Conference papers. 
<br/><br/><label>ISBN: </label>0444854401 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Congresses.<br/>Logic, Symbolic and mathematical--Congresses.