Разширения на съждителната динамична логика : Дис. /
Основен автор: | Тинчев, Тинко В. |
---|---|
Формат: | Книга |
Език: | Bulgarian |
Публикувано: |
София :
Софийски университет Климент Охридски,
1986.
|
Предмети: |
Налични ЦБ-БАН | Сигнатура: |
DS-189-1987 |
---|