Janusz Wesserling, Dwa semantyczne ujęcia logiki drugiego rzędu z identycznością, Studia Philosophiae Christianae, 2003, 39, 1, s. 75-103