Number of the records: 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
OECD category: Pure mathematics
Impact factor: 0.833, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11225-020-09913-2
http://hdl.handle.net/11104/0309983
Number of the records: 1