Number of the records: 1
On the Length of Proof of Consistency
SYS 0402514 LBL 00000nam^^22^^^^^^^^450 005 20240103181731.2 101 0-
$a eng 102 $a CZ 200 1-
$a On the Length of Proof of Consistency 210 $a Prague $c ICS AS CR $d 1994 215 $a 168 s. 225 1-
$a Kandidátská disertační práce $v K-51 700 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $T Matematický ústav AV ČR, v. v. i.
Number of the records: 1