Proceedings :  Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland / 
 Logic in computer science 
sponsored by The Computer Society's Technical Committee on Mathematical Foundations of Computing 
 - Washington :  IEEE Computer Society Press,  1988 
 - 436 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Congresses<br/>Electronic digital computers--Programming--Congresses<br/>Logic, Symbolic and mathematical--Congresses
<br/><br/><label>LC Class. No.: </label>QA75.5  / S9574 1988