Математическая теория логического вывода / 
Сборник пер. под. ред. А.В. Идельсона и Г.Е. Минца. 
 - Москва :  Наука,  1967. 
 - 351с. 
 - Математическая теория и основания математики .
<br/><br/>Библиогр. 13 назв. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика