Witam czy zna się ktoś na logice a dokładnie na Analiza poprawności formalnej i materialnej wnioskowania?