Alexandra Silva Language, Logic, and Computation - Springer Nature 2019 - Lecture Notes in Computer Science . ISBN: 9783662595657 Subjects--Topical Terms: Computer Science