@Article{75096,
     author = "Andrzej Pietruszczak",
     title = "Rozstrzygalność w bezkwantyfikatorowym rachunku nazw ",
     year =  1992,
     volume =  3 (255),
     number =  ,
     journal =  Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika,
     pages =  s. 21-43,
    }