Models of Bounded Arithmetic Theories and Some Related Complexity Questions

Autor:	Alam, Abolfazl, Moniri, Morteza
Zdroj:	Bulletin of the Section of Logic. 51(2):163-176
Databáze:	Central and Eastern European Online Library (CEEOL)
Externí odkaz:	https://www.ceeol.com/search/article-detail?id=1072268 Zobrazit plný text záznamu