Computer science logic by European Association for Computer Science Logic. Conference | Menrva Books | MenrvaBooks