Schoning, Uwe Logic for Computer Scientists by Uwe Schoning - Bostan Birkhauser 1989 - 166p. ISBN: 9780817634537 Subjects--Topical Terms: Logic ProgrammingLogic, Symbolic and mathematical Dewey Class. No.: 511.3 SCH