000			00577nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780521527149 _c(pbk)
082			_223 _a511.3 _bBLA
100			_aBlackburn, Patrick
245		0	_aModal logic
260			_aCambridge: _bCambridge University Press, _c2002
300			_axxii, 552 p.; _bill.: _c23 cm.
490			_aCambridge tracts in theoretical computer science
650			_aLogic, Symbolic and mathematical
650			_aModality (Logic)
700			_aRijke, Maarten de
700			_aVenema, Yde
942			_2ddc _cBK
999			_c16696 _d16696