Ключевая фраза: теория логического вывода

Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «теория логического вывода».

SCI Библиотека: 1

01.Книга: Математическая теория логического вывода (сборник переводов) (1967)

Автор(ы):

Идельсон А. В., Минц Г. Е.