Logica universalis towards a general theory of logic (Birkhäuser, 2007)