Osnovanija vremennoj logiki - Karavajev, Eduard Fedorovič (Izdatel'stvo Leningradskogo universiteta, 1983)