%0 Journal Article
%A Halmos, Paul R.
%T Logika od A do G. Návrh matematikova mechanického pomocníka volně zpracovaný tvůrčím matematikem
%J Pokroky matematiky, fyziky a astronomie
%D 1982
%P 93-101
%V 27
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PMFA_1982__27_2_a2/
%G cz
%F PMFA_1982__27_2_a2