Recursive Equivalence Types
Dekker, Jacob C. E. and Myhill, John R.Категорії:
Рік:
1960
Видавництво:
University of California Press
Мова:
english
Сторінки:
153
Серії:
University of California Publications in Mathematics 3
Файл:
DJVU, 2.01 MB
IPFS:
,
english, 1960