|visits||member for||2 years, 7 months|
|seen||50 mins ago|
I have been using LaTeX since 1993. I am a research leader at NICTA
If you are interested in logic or logical reasoning please consider supporting the logic proposal here on stackexchange.
|bio||website||governatori.net||visits||member for||2 years, 7 months|
|location||Australia||seen||50 mins ago|