Математическая логика и ее применение : Материалы к семинару /
Математическая логика и ее применение : Материалы к семинару /
Под ред. Р. Плюшкявичюс.
- Вильнюс : Ин-та математики и кибернетики АН Литовской ССР , 1981.
- 154,[4] с.
Программные логики Неклассические логики Алгоритмические логики Алгоритмические вопросы формальных систем Вып. 1 (1981, 155 c.) Вып. 2(1982, 135 c.) Вып. 3 (1983, 127 c.) Вып. 4 (1985, 139 c.)
Математическая логика
Программные логики Неклассические логики Алгоритмические логики Алгоритмические вопросы формальных систем Вып. 1 (1981, 155 c.) Вып. 2(1982, 135 c.) Вып. 3 (1983, 127 c.) Вып. 4 (1985, 139 c.)
Математическая логика
All site content, except where otherwise noted, is licensed under a