On the Length of Proof of Consistency

Number of the records: 1

1.

SYSNO ASEP	0402514
Document Type	D - Thesis
R&D Document Type	The record was not marked in the RIV
Title	On the Length of Proof of Consistency
Author(s)	Pudlák, Pavel (MU-W)_{RID, SAI}
Issue data	Prague: ICS AS CR, 1994
Series	Kandidátská disertační práce
Series number	K-51
Number of pages	168 s.
Language	eng - English
Country	CZ - Czech Republic
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	1920

Number of the records: 1