Теоретические применения методов математической логики : 1975 :  Сборник работ / 
Под ред. Д. Ю. Григорьева и В. П. Оревкова ; АН СССР. Мат. ин-т им. В. А. Стеклова. 
 - Ленинград :  Наука, 
 - v. 
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკური ლოგიკა კრებულები 
<br/><br/><label>Universal Decimal Class. No.: </label>51(09)