| 000 | 00449nam a22001577a 4500 | ||
|---|---|---|---|
| 008 | 230403b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_a160.1 _bL6 |
||
| 100 |
_aMcarthur, Robert P _96194 |
||
| 245 | _aTense logic | ||
| 260 |
_aDordrecht: _bD. Reidel Publishing Company, _c1976 |
||
| 300 | _a84p. | ||
| 650 | _aTense logic | ||
| 653 | _aLinear tense logic | ||
| 942 |
_2udc _cBK |
||
| 999 |
_c18047 _d18047 |
||