Extensions of Arithmetic For Proving Termination of Computations

Autor:	Kent, Clement F., Hodgson, Bernard R.
Zdroj:	The Journal of Symbolic Logic, 1989 Sep 01. 54(3), 779-794.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2274742 Zobrazit plný text záznamu