| 000 | 00695cam a2200277ua 4500 | ||
|---|---|---|---|
| 001 | 15825 | ||
| 003 | SGBCLib | ||
| 005 | 20221017112943.0 | ||
| 007 | t | ||
| 008 | 080901t1981||||||||||| 00 ||e c | ||
| 020 | _a9027712026 | ||
| 040 | _aSGBCLib | ||
| 041 | 0 | _ae | |
| 082 | _a164 | ||
| 100 | 0 |
_aGABBAY, DOV M _eAUTHOR |
|
| 245 | 1 | 0 |
_aSEMENTICAL INVESTIGATIONS IN HEYTING`S INTUITIONISM LOGIC / _cD. M. GABBAY |
| 260 |
_aDORDRECHT: _bD. REIDEL PUB., _c1981. |
||
| 020 | _c100 | ||
| 300 |
_ax,287 P. _bH.B. |
||
| 490 | 0 | _aSYNTHESE LIBRARY | |
| 650 | _aINTUITIONISM LOGIC | ||
| 650 | _aSYMBOLIC LOGIC | ||
| 650 | _aHEYTING,AREND (LOGIC) | ||
| 852 |
_k164 _mGAB-S |
||
| 942 | _cBK | ||
| 999 |
_c15824 _d15824 |
||