Induction rules in bounded arithmetic

Počet záznamů: 1

1.

SYSNO	0523579
Název	Induction rules in bounded arithmetic
Tvůrce(i)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Korespondující/senior	Jeřábek, Emil - Korespondující autor
Zdroj.dok.	Archive for Mathematical Logic. Roč. 59, č. 3-4 (2020), s. 461-501. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GBP202/12/G061 GA ČR - Grantová agentura ČR
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	bounded arithmetic * parameter-free induction
URL	https://link.springer.com/article/10.1007%2Fs00153-019-00702-w
Trvalý link	http://hdl.handle.net/11104/0307919

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Jerabek.pdf	2	646.7 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1