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