@Article{166359, author = "Andrzej Pietruszczak", title = "Standardowe rachunki nazw z funktorem Leśniewskiego ", year = 1991, volume = 1 (224), number = , journal = Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, pages = s. 5-29, }