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
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Obor OECD: Pure mathematics
Impakt faktor: 0.574, rok: 2018 ; AIS: 0.589, rok: 2018
DOI: https://doi.org/10.1007/s00153-017-0577-0
http://hdl.handle.net/11104/0273436
Počet záznamů: 1