AN EXAMPLE OF GENERAL RECURSIVE WELL-ORDERING WHICH IS NOT PRIMITIVE RECURSIVE
スポンサーリンク
概要
著者
-
LIU SHIH-CHAO
INSTITUTE OF MATHEMATICS, ACADEMIA SINICA
-
Liu S.C.
INSTITUTE OF MATHEMATICS, ACADEMIA SINICA