Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973. Логика. Скачать бесплатно.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Название: Новиков Элементы математической логики.djvu
Размер: 7.71 Мб
Описание: Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973
Ссылка для скачивания файла:
Ключевые слова: логика, математическая логика, учебник пологике скачать бесплатно, истинность формул |