Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants

Autor:	Terrier, Veronique
Zdroj:	Proceedings of the American Mathematical Society, 1992 Mar 01. 114(3), 809-816.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2159410 Zobrazit plný text záznamu