×

zbMATH — the first resource for mathematics

Relatively precomplete numerations and arithmetic. (English) Zbl 0498.03046

MSC:
03F30 First-order arithmetic and fragments
03D45 Theory of numerations, effectively presented structures
PDF BibTeX XML Cite
Full Text: DOI