000 | 00920nam0a22002650a04500 | ||
---|---|---|---|
001 | 000113529 | ||
005 | 20250424104807.0 | ||
008 | s2002 xxk fnx000 000 0neng d | ||
020 | _a0521527147 | ||
035 | _a2003002023 | ||
050 | 4 |
_aQA9.46 _bB522M |
|
100 | 1 |
_aBlackburn, Patrick _d1959- _980466 |
|
245 | 1 | 0 |
_aModal logic / _cPatrick Blackburn, Maarten de Rijke, Yde Venema |
260 |
_aCambridge : _bCambridge Univ. Press, _c2002 |
||
300 |
_a554 p. : _bill. |
||
490 | 0 | _aCambridge tracts in theoretical computer science | |
504 | _aIncludes bibliographical references and index | ||
650 | 0 |
_aMODALITY (LOGIC) _980467 |
|
700 | 1 |
_aRijke, Maarten de _980468 |
|
700 | 1 |
_aVenema, Yde _d1963- _980469 |
|
990 |
_aA36070 _bApr 1 2003 2:20PM |
||
991 | 0 | 0 | _a0702 |
997 |
_b02 _cคณิตศาสตร์ สถิติ แคลคูลัส พีชคณิต |
||
942 |
_2lcc _cBK _01 |
||
999 |
_c196520 _d196520 |