Title: New Directions in Logic Language and Computation
            
                Lecture Notes in Computer Science  Theoretical Computer Sci
Subjects: Computer science, mathematics, Artificial intelligence