Košík

    1.
    0329764 - ÚI 2010 CZ cze D - Dizertace
    Chvalovský, Karel
    Explicitní pevné body v logice dokazatelnosti.
    Praha: MFF UK, 2007. 111 s. Diplomová práce.
    Trvalý link: http://hdl.handle.net/11104/0175702
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše