Andrzej Pietruszczak, Standardowe rachunki nazw z funktorem Leśniewskiego , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, 1 (224), , s. 5-29