Computer science logic by Workshop on Computer Science Logic (16th 2007 Lausanne, Switzerland) | Menrva Books