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

9780306463945


Intuitionistic mathematics

511.22 MIN