Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime | Lietuvos matematikos rinkinys

← Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime