Název:
Některé problémy týkající se délek důkazů
Překlad názvu:
Some Problems Concerning Lengths of Proofs
Autoři:
Hrubeš, Pavel ; Pudlák, Pavel (vedoucí práce) ; Krajíček, Jan (oponent) ; Johannsen, Jan (oponent) Typ dokumentu: Disertační práce
Rok:
2008
Jazyk:
eng