51(06) D33 3 Dekker, J. C.E.     Recursive equivalence types [Текст] / J.C.E. Dekker, J. Myhill. — Berkeley ; Los Angeles : Univ. of California Press, 1960. — P. 65-213.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	1	Перейти на сайт