Text this: A short introduction to intuitionistic logic /