Induction rules, reflection principles, and provably recursive functions
書誌事項
- 公開日
- 1997-05
- 権利情報
-
- https://www.elsevier.com/tdm/userlicense/1.0/
- https://www.elsevier.com/open-access/userlicense/1.0/
- DOI
-
- 10.1016/s0168-0072(96)00045-0
- 公開者
- Elsevier BV
この論文をさがす
収録刊行物
-
- Annals of Pure and Applied Logic
-
Annals of Pure and Applied Logic 85 (3), 193-242, 1997-05
Elsevier BV
