Meyer A R Ed. Proceedings on Logic at Botik'89 by Meyer A R Ed.; Taitslin M A Ed. - Berlin Springer-Verlag 1989 - 289p. cm. - Lecture notes in computer science; 363 . Standard No.: 73126 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B):(R1), M9