A short introduction to intuitionistic logic
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
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