A short introduction to intuitionistic logic | lit.salon