Počet záznamů: 1
Lambek Calculus with Conjugates
- 1.Sedlár, Igor - Tedder, Andrew
Lambek Calculus with Conjugates.
Studia Logica. Roč. 109, č. 3 (2021), s. 447-470. ISSN 0039-3215. E-ISSN 1572-8730
Obor OECD: Pure mathematics
Impakt faktor: 0.833, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11225-020-09913-2
http://hdl.handle.net/11104/0309983
Počet záznamů: 1