1
TITLE: Computer Science Logic
AUTHORS: Erich Grädel; Reinhard Kahle ;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef