Košík

    1.
    0523579 - MÚ 2021 RIV DE eng J - Článek v odborném periodiku
    Jeřábek, Emil
    Induction rules in bounded arithmetic.
    Archive for Mathematical Logic. Roč. 59, č. 3-4 (2020), s. 461-501. ISSN 0933-5846. E-ISSN 1432-0665
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: bounded arithmetic * parameter-free induction
    Obor OECD: Pure mathematics
    Impakt faktor: 0.287, rok: 2020
    Způsob publikování: Omezený přístup
    https://link.springer.com/article/10.1007%2Fs00153-019-00702-w
    Trvalý link: http://hdl.handle.net/11104/0307919
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek.pdf2646.7 KBVydavatelský postprintvyžádat
     
     

  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