Title: Lectures on Logic and Computation
            
                Lecture Notes in Computer Science  Theoretical Computer Sci
Subjects: Computer science, mathematics, Computer software, Logic design, Artificial intelligence, Logic, symbolic and mathematical