Mauro Bertani

I'm Mauro Bertani and I'm a warehouse worker. In my free time I work on computer science and library science. I am a member of the Italian chapter of ISKO. My current research is based on turning a graph into a tree. Sort graph pieces so that the rightmost leaf of the tree is the graph as a whole. I am looking for the algebra of second order logic. For the moment I have ordered a vector space where a R^3 tuple is a relation. Now I'm studying the uncomputable numbers.