Пошуковий запит: (<.>K=ЛОГИК$<.>+<.>K=ПЕРСПЕКТИВ$<.>) |
Загальна кількість знайдених документів : 164
Представлено документи з 1 до 20
|
| |
1. | Клини С. К. Введение в метаматематику / Клини С.К.. - Москва : Ин. лит., 1957. - 526 с.
|
2. | Труды Физико-Математического Института имени В.А. Стеклова Т.52: Проблемы конструктивного направления в математике.1 / Шанин Н.А. . - Москва : Академия наук СССР, 1958. - 348 с.
|
3. | Труды Физико-Математического Института имени В.А. Стеклова Т.51: Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики. - Москва : Академия наук СССР, 1958. - 362 с.
|
4. | Чёрч А. Введение в математическую логику. Т.1 / Чёрч А.. - Москва : Ин. лит., 1960. - 484 с.
|
5. | Успенский В. А. Лекции о вычислительных функциях / Успенский В.А.. - Москва : Физматгиз, 1960. - 492 с.. - (Математическая логика и основания математики)
|
6. | Беркли Э. Символическая логика и разумные машины / Беркли Э.. - Москва : Ин. лит., 1961. - 260 с.
|
7. | Ван Аксиоматические системы теории множеств / Ван Хао, Мак-Нотон Р.. - Москва : Ин. лит., 1963. - 52 с.. - (Б-ка сб. "Математика")
|
8. | Молекулярная биология. Проблемы и перспективы. К 70-летию со дня рожд. акад. В.А. Энгельгардта: [сб. ст.] / Браунштейн А.Е. и др.. - Москва : Наука, 1964. - 342 с.
|
9. | Труды Математического Института им. В.А. Стеклова. Т. 72: Проблемы конструктивного направления в математике - 3. - Москва : Изд-во Академии наук СССР, 1964. - 544 с.
|
10. | Калужнин Л. А. Что такое математическая логика? / Калужнин Л.А.. - Москва : Наука, 1964. - 149 с.
|
11. | Алгебра и математическая логика. Алгебраические исследования: межвед. сб.. - Киев : КГУ, 1966. - 139 с.
|
12. | Френкель А. А. Основания теории множеств / Френкель А.А., Бар-Хиллел И.. - Москва : Мир, 1966. - 552 с.
|
13. | Стяжкин Н. И. Формирование математической логики / Стяжкин Н.И. ; Субботин А.Л.. - Москва : Наука, 1967. - 508 с.
|
14. | Логическая семантика и модальная логика / Таванец П.В.. - Москва : Наука, 1967. - 276 с.
|
15. | Философская энциклопедия. Т. 4 : Наука логики - Сигети / Константинов Ф.В.. - Москва : Сов. Энциклопедия, 1967. - 589 с.
|
16. | Лакатос И. Доказательства и опровержения: как доказываются теоремы / Лакатос И.. - Москва : Наука, 1967. - 152 с.
|
17. | Николау Э. Введение в кибернетику / Николау Э.. - Москва : Мир, 1967. - 192 с.
|
18. | Труды Математического Института им. В.А. Стеклова. Т. 93: Проблемы конструктивного направления в математике. 4 . - Москва : Наука, 1967. - 267 с.
|
19. | Математическая теория логического вывода: сборник переводов. - Москва : Наука, 1967. - 351 с.. - (Математическая логика и основания математики)
|
20. | Петров Ю. А. Логические проблемы абстракций бесконечности и осуществимости / Петров Ю.А.. - Москва : Наука, 1967. - 158 с.
|
| |