A short introduction to intuitionistic logic - Mint͡s, G. E. (Kluwer Academic / Plenum Publishers,)