×

Transfinite expansions of arithmetic formulas. (Russian) Zbl 0319.02026


MSC:

03F99 Proof theory and constructive mathematics
PDF BibTeX XML Cite
Full Text: EuDML