Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
9.6.2.8.8. Математическая теория логического вывода (сборник переводов, 1967)
Начало см.
здесь
.
Идельсон А.В., Минц Г.Е. (ред.).
Математическая теория логического вывода.
Cборник переводов. М.: Наука, 1967.
9.6.2.8.8.4. Метод семантических таблиц (Бет Э. В., 1959)
9.6.2.8.8.4. Метод семантических таблиц (Бет Э. В., 1959)
