Обсуждение:Темпоральная логика
Перейти к навигации
Перейти к поиску
В унарных операторах A и E необходимо заменить на кванторы Luver 16:55, 13 мая 2012 (UTC)
В унарных операторах A и E необходимо заменить на кванторы Luver 16:55, 13 мая 2012 (UTC)[ответить]