TY  - JOUR
AU  - I. V. Suchan
AU  - O. V. Ivanisova
AU  - G. G. Kravchenko
TI  - Axiomatic method in a higher education course of mathematical logics: from Euclid to Gödel
JO  - Matematičeskoe obrazovanie
PY  - 2017
SP  - 28
EP  - 44
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/MO_2017_4_a5/
LA  - ru
ID  - MO_2017_4_a5
ER  -