Автоматы, алгорифмы,языки:  Мвжвузовский тематический сборник/ 
А.В. Гладкий, А.Я. Диковский, М.И. Канович; Калининский государственный университет 
 - Калинин:  1982. 
 - 168с. 
<br/><br/>Библиогр. в конце главы 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математика--Математическая логика
<br/><br/><label>Dewey Class. No.: </label>51.01:16