TY  - BOOK
AU  - Mint︠s︡, G. E
TI  - A short introduction to intuitionistic logic
SN  - 9780306463945
U1  - 511.22 MIN 
PY  - 2000///
CY  - Deventer, The Netherlands ; Boston, MA
PB  - Kluwer Academic / Plenum Publishers
KW  - Intuitionistic mathematics
ER  -