Title: Logic for Computer Scientists (Modern Birkhäuser Classics Book 8)
Subjects: Symbolic and mathematical Logic, Computer science, Logic programming, Logic, symbolic and mathematical, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations