Logic II, 7.5 credits