@article{10_14708_wm_v10i2_2138,
     author = {I. H. Lehmer},
     title = {Zmechanizowana matematyka},
     journal = {Wiadomo\'sci Matematyczne},
     pages = { 183--194},
     publisher = {mathdoc},
     volume = {10},
     number = {2},
     year = {1968},
     doi = {10.14708/wm.v10i2.2138},
     language = {pl},
     url = {http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2138/}
}