Proceedings :  Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 / 
 Logic in computer science 
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science 
 - Washington :  IEEE Computer Society Press,  1986 
 - 383 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 1986