On the Length of Proof of Consistency

Počet záznamů: 1

1.

SYSNO	0402514
Název	On the Length of Proof of Consistency
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI}
Vyd. údaje	Prague: ICS AS CR, 1994
Edice	Kandidátská disertační práce , K-51
Druh dok.	Dizertace
Jazyk dok.	eng
Země vyd.	CZ
Trvalý link	http://hdl.handle.net/11104/0122919

Počet záznamů: 1