С. А. Яновская о способах исследования логических исчислений
Аннотация
С. А. Яновская о способах исследования логических исчислений
Полный текст:
PDFЛитература
Hilbert D., Ackermann W. Grundlage der theoretische Logik. 2-te Auflage, 1946.
Гильберт Д., Аккерман В. Основы теоретической логики. Перев. с нем.
Ерофеев А. А. Редакция, Предисловие, Комментарии С.А. Яновской, 1947.
Яновская С. А. Лекции по алгебре логики, 2015.
Зиновьев А. А. Логика высказываний и теория вывода. Изд. 3-е, 2015.
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2018 З. И. Кузичева
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.