Margot Colinet "Pristine Perspectives on Logic, Language and Computation" - 2014 - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783662441169 Subjects--Topical Terms: Computer ScienceComputer Science Logic and Foundations of Programming