Počet záznamů: 1
Implicational (semilinear) logics III: completeness properties
- 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. E-ISSN 1432-0665
Obor OECD: Pure mathematics
Impakt faktor: 0.574, rok: 2018
http://hdl.handle.net/11104/0273436
Počet záznamů: 1