Математическая логика и ее применение :  Материалы к семинару Вып. 4, Алгоритмические вопросы формальных систем / 
Под ред. Р. Плюшкявичюс. 
 - Вильнюс :  Ин-та математики и кибернетики АН Литовской ССР ,  1985. 
 - 134,[5] с. 
<br/><br/> Материалы к семинару при институте математики и кибернетики АН Литовской ССР "Математическая логика и ее применения"  Ин-т математики и кибернетики АН Литовской ССР 
<br/><br/><label>ISBN: </label> 01.30 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика