Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai | Lietuvos matematikos rinkinys

← Grįžti į straipsnio detales Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai