TY - `BOOK` TI - Proceedings / Symposium on Logic in Computer Science. The Computer Society of the IEEE J2 - Logic in computer science PB - Computer Society Pr. CY - Washington, DC PY - 1986-1989 SN - 1043-6871 KW - Mathematische Logik / Theoretische Informatik CN - Kongr. 1987/6 AN - UBHD-66036135 ER -