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