TY - BOOK AU - Караваев Э.Ф. TI - Основания временной логики PY - 1983/// CY - Ленинград PB - Из-во ленинградского университета KW - UDC ER -