Košík

    1.
    0405387 - UIVT-O 330759 DE eng J - Článek v odborném periodiku
    Horčík, Rostislav
    Standard Completeness Theorem for PiMTL.
    Archive for Mathematical Logic. Roč. 44, - (2005), s. 413-424. ISSN 0933-5846. E-ISSN 1432-0665
    Grant CEP: GA ČR GA201/02/1540; GA ČR GD401/03/H047
    Grant ostatní: Net CEEPUS SK-042
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.523, rok: 2003
    Trvalý link: http://hdl.handle.net/11104/0125558
    Název souboruStaženoVelikostKomentářVerzePřístup
    0405387.pdf0418.6 KBAutorský preprintpovolen
     
     

  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