Математическая теория логического вывода
 
 
 
Москва: Наука, 1967
Number of pages: 350
Под редакцией: Идельсон А.В., Минц Г.Е.
 

No view is available.

Bibliographic description

MARC record