TY - BOOK AU - Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky 1989 TI - Logic at Botik '89 T2 - Lecture notes in computer science SN - 3540512373 U1 - 005.13 PY - 1989/// CY - Berlin PB - S-V ER -