0368217006 - Logic for Computer Science