Математическая логика и ее применения: материалы к семинару / Академия наук Литовской ССР, Институт математики и кибернетики
Сохранено в:
Показ/скрытие дополнительной информации.
| Другие авторы/ответственные: | Институт математики и кибернетики (Вильнюс) |
|---|---|
| Вид документа: | |
| Опубликовано: | Вильнюс : Институт математики и кибернетики , 1981―1989 |
| Язык: | Русский |
| Предмет: |
1981, Вып.1: Программные логики
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||
1982, Вып.2: Неклассические логики
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||
1983, Вып.3: Алгоритмические логики
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||
1985, Вып.4: Алгоритмические вопросы формальных систем
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||
1987, Вып.5: Логические аспекты информатики
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||
1989, Вып.6: Математические аспекты компьютерной логики
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||