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