Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą | Lietuvos matematikos rinkinys

← Grįžti į straipsnio detales Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą