Mathematical Logic and Theoretical Computer Science by Carl H. Smith | Menrva Books