Mint︠s︡, G. E A short introduction to intuitionistic logic - Deventer, The Netherlands ; Boston, MA: Kluwer Academic / Plenum Publishers, 2000 - ix, 131 p. ; 24 cm ISBN: 9780306463945 Subjects--Topical Terms: Intuitionistic mathematics Dewey Class. No.: 511.22 MIN