![](/img/cover-not-exists.png)
Inductive definitions over a predicative arithmetic
Stanley S. Wainer, Richard S. WilliamsVolume:
136
Year:
2005
Language:
english
Pages:
14
DOI:
10.1016/j.apal.2005.05.011
File:
PDF, 200 KB
english, 2005