TY - JOUR AU - Kosiorek, Jarosław TI - An axiom system for full $3$-dimensional Euclidean geometry JO - Mathematica Bohemica PY - 1991 SP - 113 EP - 118 VL - 116 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.21136/MB.1991.126139/ DO - 10.21136/MB.1991.126139 LA - en ID - 10_21136_MB_1991_126139 ER -