D е k k е r J. С. Е., М у h i l 1 J., Recursive equivalence types, Be… · LibMeta · SciLib
Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

D е k k е r J. С. Е., М у h i l 1 J., Recursive equivalence types, Berk.- Los Ang

http://libmeta.ru/resource/mathenc/publication/p1689

Данные

bibliographicCitationD е k k е r J. С. Е., М у h i l 1 J., Recursive equivalence types, Berk.- Los Ang., 1960

Входящие связи

← ссылается на · 1
Рекурсивной эквивалентности тип
← цитирует · 1
Рекурсивной эквивалентности тип