I was looking for articles to reference around the nature of logic in philosophy...

I was looking for articles to reference around the nature of logic in philosophy and programming, but this is far more interesting I think..

This contains various different ways of thinking about computer science, such as the nature of computation or abstraction.