Počet záznamů: 1
Implicational (semilinear) logics III: completeness properties
- 1.CINTULA, P., NOGUERA, C. Implicational (semilinear) logics III: completeness properties. Archive for Mathematical Logic. 2018, 57(3-4), 391-420. ISSN 0933-5846. E-ISSN 1432-0665. Dostupné z: doi: 10.1007/s00153-017-0577-0
Počet záznamů: 1