A Short Introduction To The Study Of Logic door Laurence Johnstone