&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Математическая теория логического вывода. Сборник переводов. / Идельсон А В., Минц Г Е. (ред.). &mdash; Москва : Наука, 1967. &mdash; 350 с. (Математическая логика и основания математики).<br><br><br>Идельсон, А. В.<br>Минц, Г. Е.<br><br>УДК: 51:164 <br><br>[ SYS NUM: 5183 ]