Символічна логіка: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
IvanBot (обговорення | внесок) м →Предмет і будова: replaced: Даний → Цей |
|||
Рядок 38:
* Теорема Тарського про невираженність.
==
* ''Марков А. А., Нагорный Н. М.'' Теория алгоритмов. — М.: Наука, 1984. — 432 с.
* ''Фреге Готтлоб.'' Логика и логическая семантика: Сб. трудов/Пер. с нем. — М.: Аспект Пресс, 2000. — 512 с. ISBN 5-7567-0128-1.▼
* ''Чёрч А.'' Введение в математическую логику. Пер. с англ. — М.: Изд. иностр. лит, 1960. — 486 с.▼
▲''Фреге Готтлоб.'' Логика и логическая семантика: Сб. трудов/Пер. с нем. — М.: Аспект Пресс, 2000. — 512 с. ISBN 5-7567-0128-1.
▲''Чёрч А.'' Введение в математическую логику. Пер. с англ. — М.: Изд. иностр. лит, 1960. — 486 с.
{{math-stub}}
| |||