ULRICH BERGER; HELMUT SCHWICHTENBERG COMPUTATIONAL LOGIC - SPRINGER INC 1999 - 444 ISBN: 3540645896 Subjects--Topical Terms: COMPUTER SCIENCE GENERAL Dewey Class. No.: 004.015113 / ULR