Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai | Lietuvos matematikos rinkinys

← Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai