Provably recursive functions in fragments of Peano arithmetic
スポンサーリンク
概要
著者
-
ONO Hiroakira
Faculty of Integral Arts and Sciences Hiroshima University
-
KADOTA Noriya
Faculty of Engineering Department of Applied Mathematics Hiroshima University
-
ONO Hiroakira
Faculty of Integrated Arts and Sciences Hiroshima University
関連論文
- Equational theories and universal theories of fields
- Provably recursive functions in fragments of Peano arithmetic