Gottlob,Georg Computer science logic / Gottlob,Georg. - 12th International W - Berlin: Springer, 1999. - x,428p;25cm - Lecture Notes in Computer Science, No.1584 . Includes bibliographical references. ISBN: 3540659226 Dewey Class. No.: 004 GOT