TY - JOUR AU - Korec, Ivan TI - Definability of arithmetical operations from binary quadratic forms JO - Communications in Mathematics PY - 1998 SP - 135 EP - 144 VL - 6 IS - 1 UR - http://geodesic.mathdoc.fr/item/COMIM_1998_6_1_a15/ LA - en ID - COMIM_1998_6_1_a15 ER -