Grįžti prie informacijos apie straipsnį Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais
Atsiųsti