000 00272nam a2200109Ia 4500
008 190919s9999||||xx |||||||||||||| ||und||
100 _aBole,Leonard
245 0 _aTime and Logic a computational approach
260 _aUSA
_bMcGraw -Hill
_c2002
300 _a881
942 _cBK
999 _c10241
_d10241