Title: An introduction to the fundamentals of logic
Subjects: Computer programming, Symbolic and mathematical Logic