Počet záznamů: 1  

Induction rules in bounded arithmetic

    1.
    JEŘÁBEK, E. Induction rules in bounded arithmetic. Archive for Mathematical Logic. 2020, 59(3-4), 461-501. ISSN 0933-5846. E-ISSN 1432-0665. Dostupné z: doi: 10.1007/s00153-019-00702-w.
Počet záznamů: 1  

  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