A short introduction to intuitionistic logic - Mint͡s, G. E. (Kluwer Academic / Plenum Publishers, 2000)
Includes bibliographical references and index