Пошуковий запит: (<.>K=ЛОГИК$<.>) |
Загальна кількість знайдених документів : 143
Представлено документи з 1 до 20
|
| |
1. | Труды Физико-Математического Института имени В.А. Стеклова Т.51: Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики. - Москва : Академия наук СССР, 1958. - 362 с.
|
2. | Труды Физико-Математического Института имени В.А. Стеклова Т.52: Проблемы конструктивного направления в математике.1 / Шанин Н.А. . - Москва : Академия наук СССР, 1958. - 348 с.
|
3. | Труды Математического Института им. В.А. Стеклова. Т. 72: Проблемы конструктивного направления в математике - 3. - Москва : Изд-во Академии наук СССР, 1964. - 544 с.
|
4. | Труды Математического Института им. В.А. Стеклова. Т. 93: Проблемы конструктивного направления в математике. 4 . - Москва : Наука, 1967. - 267 с.
|
5. | Труды Математического Института им. В.А. Стеклова. Т. 98: Логические и логико-математические исчисления. 1. - Москва : Наука, 1968. - 205 с.
|
6. | Труды Математического Института им. В.А. Стеклова Т. 121: Логические и логико-математические исчисления. 2. - Ленинград : Наука, 1972. - 166 с.
|
7. | Труды Математического Института им. В.А. Стеклова Т. 133: Математическая логика, теория алгоритмов и теория множеств. - Москва : Наука, 1973. - 275 с.
|
8. | Труды Математического Института им. В.А. Стеклова. Т. 168: Алгебра, математическая логика, теория чисел, топология. - Москва : Наука, 1984. - 251 с.
|
9. | Записки научных семинаров ЛОМИ. Т.49: Теоретические применения методов математической логики. I. - Ленинград : Наука, 1975. - 179 с.
|
10. | Записки научных семинаров ЛОМИ. Т.88: Исследования по конструктивной математике и математической логике. VIII. - Ленинград : Наука, 1979. - 251 с.
|
11. | Записки научных семинаров ЛОМИ. Т.105: Теоретические применения методов математической логики. III. - Ленинград : Наука, 1981. - 200 с.
|
12. | Алгебра и математическая логика. Алгебраические исследования: межвед. сб.. - Киев : КГУ, 1966. - 139 с.
|
13. | Астрономия. Методология. Мировоззрение: [сб. статей]. - Москва : Наука, 1979. - 397 с.. - (Материалист. диалектика - логика и методология совр. естествознания)
|
14. | Белнап Н. Логика вопросов и ответов / Белнап Н., Стил Т.. - Москва : Прогресс, 1981. - 288 с.
|
15. | Беркли Э. Символическая логика и разумные машины / Беркли Э.. - Москва : Ин. лит., 1961. - 260 с.
|
16. | Бизам Д. Многоцветная логика: 175 логических задач / Бизам Д., Герцег Я.. - Москва : Мир, 1978. - 435 с.
|
17. | Бирюков Б. В. Жар холодных чисел и пафос бесстрастной логики: формализация мышления от античных времен до эпохи кибернетики / Бирюков Б.В., Тростников В.Н.. - Москва : Знание, 1977. - 192 с.. - (Наука и прогресс)
|
18. | Блехман И. И. Прикладная математика: предмет, логика, особенности подходов / Блехман И.И., Мышкис А.Д., Пановко Я.Г.. - Киев : Наукова думка, 1976. - 269 с.
|
19. | Булева алгебра и конечные автоматы. - Москва : Мир, 1969. - 294 с.
|
20. | Владимиров Д. А. Булевы алгебры / Владимиров Д.А.. - Москва : Наука, 1969. - 318 с.
|
| |