Proving Consistency of Equational Theories in Bounded Arithmetic

Autor:	Beckmann, Arnold
Zdroj:	The Journal of Symbolic Logic, 2002 Mar 01. 67(1), 279-296.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2695010 Zobrazit plný text záznamu