Effective confinalities and admissibility in E-recursion
著者
書誌事項
Effective confinalities and admissibility in E-recursion
(Preprint series, . Mathematics ; no. 5)
Universitetet i Oslo, Matematisk institutt, 1982
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する