Kreisel's conjecture with minimality principle

Number of the records: 1

1.

SYSNO	0337050
Title	Kreisel's conjecture with minimality principle
Title	Kreiselova domněnkas principem minimality
Author(s)	Hrubeš, Pavel (MU-W)_{RID, SAI, ORCID}
Source Title	Journal of Symbolic Logic. Roč. 74, č. 3 (2009), s. 976-988. - : Cambridge University Press
Document Type	Článek v odborném periodiku
CEZ	AV0Z10190503 - MU-W (2005-2011)
Language	eng
Country	US
Keywords	Peano arithmetic * length of proof * Kreisel's conjecture
Permanent Link	http://hdl.handle.net/11104/0181139

	File	Download	Size	Commentary	Version	Access
	Hrubes.pdf	1	142.9 KB		Publisher’s postprint	require

Number of the records: 1