0402514 - UIVT-O 950109 CZ eng D - Dizertace Pudlák, Pavel On the Length of Proof of Consistency. Prague: ICS AS CR, 1994. 168 s. Kandidátská disertační práce, K-51.
Trvalý link: http://hdl.handle.net/11104/0122919
Novou verzi záznamu vytvořte pouze v případě, že budete měnit uložené soubory, neboť bude mít přiděleno nové DOI. Pokud nebudete měnit soubory, ale pouze metadatový popis, editujte současnou verzi záznamu.
Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom
jak používáme cookies.