Počet záznamů: 1

Kreisel's conjecture with minimality principle

SYSNO	0337050
Název	Kreisel's conjecture with minimality principle
Překlad názvu	Kreiselova domněnkas principem minimality
Tvůrce(i)	Hrubeš, Pavel (MU-W)_{RID, SAI, ORCID}
Zdroj.dok.	Journal of Symbolic Logic. Roč. 74, č. 3 (2009), s. 976-988. - : Cambridge University Press
Druh dok.	Článek v odborném periodiku
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	Peano arithmetic * length of proof * Kreisel's conjecture
Trvalý link	http://hdl.handle.net/11104/0181139

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Hrubes.pdf	1	142.9 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1