000 | 02148cam a2200493Ia 4500 | ||
---|---|---|---|
001 | ocn316568526 | ||
003 | OCoLC | ||
005 | 20141103172226.0 | ||
006 | m o d | ||
007 | cr cn||||||||| | ||
008 | 090320s1975 ne ob 000 0 eng d | ||
040 |
_aOPELS _beng _cOPELS _dOPELS _dOCLCQ _dOCLCF _dOCLCO _dDEBBG |
||
020 | _a9780444110022 | ||
020 | _a044411002X | ||
029 | 1 |
_aNZ1 _b15193301 |
|
029 | 1 |
_aDEBBG _bBV036962761 |
|
029 | 1 |
_aDEBSZ _b407393781 |
|
035 | _a(OCoLC)316568526 | ||
037 |
_a163598:163791 _bElsevier Science & Technology _nhttp://www.sciencedirect.com |
||
050 | 4 |
_aBC199.M6 _bG35 1975eb |
|
082 | 0 | 4 |
_a160 _222 |
049 | _aTEFA | ||
100 | 1 | _aGallin, Daniel. | |
245 | 1 | 0 |
_aIntensional and higher-order modal logic _h[electronic resource] : _bwith applications to Montague semantics / _cDaniel Gallin. |
260 |
_aAmsterdam : _bNorth Holland Pub. Co. ; _aNew York : _bAmerican Elsevier Pub. Co., _c1975. |
||
300 | _a1 online resource (vii, 148 p.) | ||
490 | 1 |
_aNorth-Holland mathematics studies ; _v19 |
|
500 | _aOriginally presented as the author's thesis, University of California, Berkeley, 1972. | ||
504 | _aIncludes bibliographical references (p. 144-148). | ||
588 | _aDescription based on print version record. | ||
650 | 0 | _aModality (Logic) | |
650 | 0 | _aLogic, Symbolic and mathematical. | |
650 | 6 | _aModalit�e (Logique) | |
650 | 6 | _aLogique symbolique et math�ematique. | |
650 | 7 |
_aLogic, Symbolic and mathematical. _2fast _0(OCoLC)fst01002068 |
|
650 | 7 |
_aModality (Logic) _2fast _0(OCoLC)fst01024350 |
|
655 | 4 | _aElectronic books. | |
776 | 0 | 8 |
_iPrint version: _aGallin, Daniel. _tIntensional and higher-order modal logic. _dAmsterdam : North Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975 _z044411002X _z9780444110022 _w(DLC) 75030898 _w(OCoLC)1694073 |
830 | 0 |
_aNorth-Holland mathematics studies ; _v19. |
|
856 | 4 | 0 |
_3ScienceDirect _uhttp://www.sciencedirect.com/science/book/9780444110022 |
856 | 4 |
_uhttp://www.sciencedirect.com/science/publication?issn=03040208&volume=19 _3Volltext |
|
942 | _cEB | ||
994 |
_aC0 _bTEF |
||
999 |
_c21877 _d21877 |