| 000 | 00555 a2200265 4500 | ||
|---|---|---|---|
| 001 | 9322 | ||
| 020 | _a90-277-1202-60 | ||
| 041 | _aeng | ||
| 080 | _a517.1 Gab | ||
| 245 | _aSemantical investigations in Heyting's intuitionistic logic | ||
| 250 | _a | ||
| 260 | _aDordrecht | ||
| 260 | _bD. Reidel, | ||
| 260 | _c1981 | ||
| 300 | _ax,287 p. | ||
| 300 | _c22 cm | ||
| 490 | _a | ||
| 100 | _aGabbay, Dov M. | ||
| 700 | _a | ||
| 650 | _a | ||
| 650 | _aIntutionistic mathematics | ||
| 650 | _aHeyting, Arend-1898- | ||
| 942 | _cBK | ||
| 942 | _2UDC | ||
| 999 |
_c11024 _d11024 |
||