Notes on Polynomially Bounded Arithmetic

Autor:	Zambella, Domenico
Zdroj:	The Journal of Symbolic Logic, 1996 Sep 01. 61(3), 942-966.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2275794 Zobrazit plný text záznamu