000			00531nam a2200205 4500
008			160616s2000 000 0
245			_aAdvances in Temporal Logic : (ALS 16)
100			_aBarringer, H.Ed.,Fisher,M.Ed.
100			_aGabbay, Dov. Ed.
100			_aGouchi, Graham. Ed.
260			_aNetherlands
260			_bKluwer Acad.
260			_c2000
300			_a453
440			_aApplied Logic Series, 16
020			_a0 7923 6149 0
650			_aTemporal Logic
942			_cBK _2BK16930
080			_a510.6 BAR
999			_c16930 _d16930