LOG110 Logical theory, 15 credits