Text this: A Short Introduction to Intuitionistic Logic