Mathematical logic in computer science / 
Ed. by B. Domolki and T. Gergely. 
 - Amsterdam ;  New York :  North-Holland Publ. Co.,  1981. 
 - 758 p. :  ill. ;  25 cm. 
 - Colloquia mathematica societatis Janos Bolyai  26  0139-3383 ; .
<br/><br/> Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgotarjan, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society. 
<br/><br/><label>ISBN: </label>0444854401 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming<br/>Programming languages (Electronic computers)--Semantics
<br/><br/><label>Dewey Class. No.: </label>519.4