@article{10_14708_wm_v10i2_2166,
     author = {S. Walig\'orski},
     title = {Z. {Pawlak,} {Automatyczne} dowodzenie twierdze\'n},
     journal = {Wiadomo\'sci Matematyczne},
     pages = { 297--298},
     year = {1968},
     volume = {10},
     number = {2},
     doi = {10.14708/wm.v10i2.2166},
     language = {pl},
     url = {http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2166/}
}