Počet záznamů: 1  

Implicational (semilinear) logics III: completeness properties

  1. 1. Cintula, Petr - Noguera, Carles
    Implicational (semilinear) logics III: completeness properties.
    Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. ISSN 0933-5846
    Obor OECD: Pure mathematics
    Impakt faktor: 0.519, rok: 2017
    http://hdl.handle.net/11104/0273436