133 reputation
bio website
location Argentina
age 23
visits member for 2 years, 6 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.

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