118 reputation
7
bio website
location Argentina
age 23
visits member for 2 years, 4 months
seen Mar 15 '13 at 16:31

I'm just a engineering student, but also a dabbler to deeper topics, at least deeper than those proposed by my academic choice.

That's why I'm here.


Jul
30
accepted How are the full semantics of SOL and HOL specified?