TY  - BOOK
ED  - Symposium On Logic In Computer Science
ED  - Association for Symbolic Logic
ED  - European Association for Theoretical Computer Science
ED  - ACM Special Interest Group for Automata and Computability Theory
ED  - IEEE Computer Society.
TI  - Proceedings
SN  - 0-8186-0720-3
AV  - QA75.5 S956 1986
PY  - 1986///
CY  - Washington, D.C.
PB  - IEEE Computer Society
KW  - Lógica simbólica y matemática
KW  - Congresos
KW  - Procesamiento electrónico de datos
KW  - Programación de computadoras
N1  - "in cooperation ith acm sigact, association for symbolic logic, european association for theoretical computer science"
ER  -