Pateiktas korektiškas ir pilnas sekvencinis skaičiavimas idealaus žinojimo logikai. Naudojant sukonstuotą skaičiavimą gaunama neturinti ciklų išprendžiamoji procedųra. Vietoje istorijų sąvokos įrodymų baigtinumo tikrinimui naudojami indeksai ir žymės.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.
Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.