Основания временной логики - Караваев Э.Ф (Изд-во ЛГУ, 1983)