0368217001 - Logic for Computer Science