Л69 Логический вывод [Текст]. - М. : Наука, 1979. - 309 с. - 1.90 р.
Кл.слова (ненормированные): Науковедение -- логика -- логический вывод Экземпляры всего: 1 1к (1) Свободны: 1к (1) |
М34 Математическая теория логического вывода: Сб. переводов [Текст] / Под ред. А.В. Идельсона, Г.Е. Минца. - М. : Наука, 1967. - 351 с. - 1.79 р.
Кл.слова (ненормированные): Математика -- математическая логика -- логический вывод -- теория чисел -- семантика -- интерполяция Экземпляры всего: 1 2к (1) Свободны: 2к (1) |