TY  - BOOK
ED  - Symposium on Logic in Computer Science
ED  - IEEE Computer Society.
ED  - European Association for Theoretical Computer Science
ED  - Association for Symbolic Logic
ED  - ACM Special Interest Group for Automata and Computability Theory
TI  - Proceedings: Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 
AV  - QA75.5 S9574 1986
PY  - 1986///
CY  - Washington
PB  - IEEE Computer Society Press
KW  - Electronic data processing
KW  - Congresses
KW  - Electronic digital computers
KW  - Programming
KW  - Logic, Symbolic and mathematical
ER  -