Primitively Recursive Categoricity for Unars and Equivalence Structures.
| Autor: | Blinov, K. V.1 (AUTHOR) kvblinov@gmail.com |
|---|---|
| Zdroj: | Siberian Mathematical Journal. Nov2021, Vol. 62 Issue 6, p994-1009. 16p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|