Computer Science Logic Computer Science Logic
2010
Logic, Language, Information and Computation Logic, Language, Information and Computation
2010