@article{PMFA_1982__27_2_a2,
     author = {Halmos, Paul R.},
     title = {Logika od {A} do {G.} {N\'avrh} matematikova mechanick\'eho pomocn{\'\i}ka voln\v{e} zpracovan\'y tv\r{u}r\v{c}{\'\i}m matematikem},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {93--101},
     publisher = {mathdoc},
     volume = {27},
     number = {2},
     year = {1982},
     zbl = {0487.03001},
     language = {cz},
     url = {http://geodesic.mathdoc.fr/item/PMFA_1982__27_2_a2/}
}