N. D. Arutjunova.: Logicheskij analiz jazyka: yazyk i vremja = Logical Analysis of Language: Language and time.