TY - BOOK AU - Meyer A R ED - Symposium on Logical Foundations of Computer science( 1989 : USSR ) ED - Symposium on Logical Foundations of Computer science TI - Logical foundations of computer science : proceedings U1 - 5.131 PY - 1989/// CY - Berlin PB - Springer Verlag KW - Computational logic KW - Computer science ER -