Logica Universalis: LU (Birkhäuser, 2007)