Cholak P.,Marcone A.,SolomonR ...


Cholak P., Marcone A., Solomon R.
[2004]
Reverse mathematics and the equivalence of definition for well and better quasi-order
J. Symbolic Logic, 69, № 3, 683-712
?
article

Вернуться к поиску