←
Grįžti į straipsnio detales
Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui
Atsisiųsti