13,571 reputation
31646
bio website governatori.net
location Australia
age 47
visits member for 2 years, 4 months
seen 1 hour 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.


465
× 116
27
× 5
17
× 4
11
× 3
329
× 85
26
× 6
17
× 3
11
× 2
234
× 57
23
× 7
15
× 3
10
× 5
80
× 20
21
× 8
15
× 2
10
× 4
62
× 17
21
× 5
14
× 4
10
× 4
54
× 19
20
× 6
14
× 3
10
× 4
51
× 14
20
× 4
14
× 2
10
× 3
40
× 12
19
× 6
13
× 5
10
× 2
39
× 12
19
× 6
13
× 4
10
× 2
35
× 10
19
× 5
13
× 2
10
33
× 6
18
× 5
12
× 2
9
× 4
32
× 9
18
× 5
11
× 4
9
× 2
30
× 6
17
× 6
11
× 3
9