About me

Gender	Male
Location	Zagreb, Croatia
Interests	propositional logic, logic, Newlisp, Lisp, programming, automated theorem proving, automated reasoning, artificial intelligence