logic coursework for imperial