0402514 - UIVT-O 950109 CZ eng D - Thesis 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.
Permanent Link: http://hdl.handle.net/11104/0122919
Create a new version of the record only if you will be modifying stored files, as it will have a new DOI assigned. If you are only changing the metadata description and not the files, edit the current version of the record.
openseadragon
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.