On Tue, 23 Oct 2007, Ralf Hemmecke wrote: | > What would be its meaning? | | Maybe this one....
[aldor code] Am I the only one here who believes that 'meaning' has to be given mathematically, indenpendent of syntax, and typing rules must also be given too? -- Gaby _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
