Počet záznamů: 1  

Lambek Calculus with Conjugates

    1.
    SEDLÁR, Igor, TEDDER, Andrew. Lambek Calculus with Conjugates. Studia Logica. 2021, 109(3), 447-470. ISSN 0039-3215. E-ISSN 1572-8730. Dostupné z: doi: 10.1007/s11225-020-09913-2.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše