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.
17 Is First Order Logic (FOL) the only fundamental logic? jul 28 '12
5 How are the full semantics of SOL and HOL specified? jul 29 '12
5 What does the concept of computation actually mean? aug 29 '12