TY - BOOK AU - leonard bolc,andrzej szalas TI - time and logic a computational approach SN - 1-85728-233-7 U1 - 004.43 PY - 1995/// CY - london PB - UCL university collge london press ER -