| 000 | 00436nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 211224s9999 xx 000 0 und d | ||
| 020 | _a9780306463945 | ||
| 082 | _a511.22 MIN | ||
| 100 | _aMint︠s︡, G. E | ||
| 245 | 2 | _aA short introduction to intuitionistic logic | |
| 260 |
_aDeventer, The Netherlands ; Boston, MA: _bKluwer Academic / Plenum Publishers, _c2000 |
||
| 300 | _aix, 131 p. ; 24 cm | ||
| 650 | _aIntuitionistic mathematics | ||
| 999 |
_c7654 _d7654 |
||