![](/img/cover-not-exists.png)
Elementary descent recursion and proof theory
Harvey Friedman, Michael SheardVolume:
71
Year:
1995
Language:
english
Pages:
45
DOI:
10.1016/0168-0072(94)00003-l
File:
PDF, 2.69 MB
english, 1995