Глушков В.М./ІВ38
Ackermann, W.
Solvable cases of the decision problem [Text] / by W. Ackermann. - Amsterdam : North-Holland, 1954. - VIII, 114 p. - (Studies in logic and foundations of mathematics). - Бібліогр.: с. 108-112

Рубрикатор НБУВ:
 В124 
Тематичні рубрики:
 Теорія доведень. Пошук виведення і розв'язності в логіці 


Видання зберігається у :
Основний фонд