On the Length of Proof of Consistency

Number of the records: 1

1.

SYSNO	0402514
Title	On the Length of Proof of Consistency
Author(s)	Pudlák, Pavel (MU-W)_{RID, SAI}
Issue data	Prague: ICS AS CR, 1994
Edition	Kandidátská disertační práce , K-51
Document Type	Dizertace
Language	eng
Country	CZ
Permanent Link	http://hdl.handle.net/11104/0122919

Number of the records: 1