Математическая теория логического вывода :  Сборник переводов /  [Текст] : 
Под ред. А. В. Идельсона и Г. Е. Минца . 
 -  Наука,  1967 . 
 - 351 с.  22 см 
 - Математическая логика и основания математики .
<br/><br/>Библиогр. в конце статей 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика - Сборники
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკური ლოგიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>