Primitive recursive ordered fields and some applications › SPbU Researchers Portal

DOI

https://doi.org/10.3233/COM-210386
Final published version

Original language	English
Pages (from-to)	71–99
Number of pages	29
Journal	Computability
Volume	12
DOIs	https://doi.org/10.3233/COM-210386
State	Published - 2023

ID: 126990124