%0 Journal Article
%A Morávek, Jaroslav
%T On hardly linearly provable systems
%J Applications of Mathematics
%D 1984
%P 286-293
%V 29
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/AM.1984.104096/
%R 10.21136/AM.1984.104096
%G en
%F 10_21136_AM_1984_104096