Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
24,897
reputation
7
10

Guido

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.

2
answers
1
question
~237
people reached
  • Australia
  • Member for 6 years, 10 months
  • 11 profile views
  • Last seen May 13 at 15:18

Top tags (3)

Score 0
Posts 3
Score 0
Posts 1
Score 0
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (17)

Gold

Silver

7

Rarest

Bronze

10

Rarest