TY  - JOUR
AU  - Morávek, Jaroslav
TI  - On hardly linearly provable systems
JO  - Applications of Mathematics
PY  - 1984
SP  - 286
EP  - 293
VL  - 29
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/AM.1984.104096/
DO  - 10.21136/AM.1984.104096
LA  - en
ID  - 10_21136_AM_1984_104096
ER  -