Intuitionistically provable recursive well-orderings
Harvey M. Friedman, Andre ScedrovVolume:
30
Year:
1986
Language:
english
Pages:
7
DOI:
10.1016/0168-0072(86)90004-7
File:
PDF, 382 KB
english, 1986