Logic For Computer Science And Artificial Intelligence door Ricardo Caferra