Andrzej Pietruszczak, Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, 2 (235), , s. 41-52