TY - JOUR AU - Heyting, A. TI - Zprávy o postavení matematiky JO - Applications of Mathematics PY - 1966 SP - 242 EP - 250 VL - 11 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.21136/AM.1966.103022/ DO - 10.21136/AM.1966.103022 LA - cz ID - 10_21136_AM_1966_103022 ER -