Janusz Wesserling, Równoważnościowa sprowadzalność formuł logiki niefregowskiej do kwantyfikatorowej postaci normalnej, Studia Philosophiae Christianae, 2012, 48, 3, s. 185-208