0368217008 - Logic for Computer Science