Alvaro Herrera <alvherre(at)commandprompt(dot)com> writes:> How about "lgico-matemtica"?
Works for me.
regards, tom lane