TY - SER AU - Botsch,Otto TI - Proposiciones para la geometrĂ­a deductiva ER -