Lectures on Logic and Computation Lecture Notes in Computer Science Theoretical Computer Sci2012

by Nick Bezhanishvili