Arithmetic Logi