Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic

Počet záznamů: 1

SYSNO	0174483
Title	Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
Author(s)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Source Title	Journal of Symbolic Logic. Roč. 62, č. 2 (1997), s. 457-486. - : Cambridge University Press
Document Type	Článek v odborném periodiku
Grant	IAA1019602 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
Language	eng
Country	US
Permanent Link	http://hdl.handle.net/11104/0071489

	File	Download	Size	Commentary	Version	Access
	Krajicek.pdf	1	495.1 KB		Publisher’s postprint	require

Počet záznamů: 1