@Article{75097,
     author = "Andrzej Pietruszczak",
     title = "Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami ",
     year =  1991,
     volume =  2 (235),
     number =  ,
     journal =  Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika,
     pages =  s. 41-52,
    }