TY - BOOK TI - Time and logic : a computational approach AU - Bolc, Leonard , 1934- AU - Szalas, Andrzej , 1958- SN - PB - UCL Press PP - London : UCL Press, 1995. PY - 1995 UR - https://library.korea.ac.kr/detail/?cid=CAT000000801281&ctype=m