There are those philosophers which are as concerned with logic as you'd expect from a pure mathematician ;-) If you're interested, Shapiro's "Thinking about Ma

There are those philosophers which are as concerned with logic as you'd expect from a pure mathematician ;-) If you're interested, Shapiro's "Thinking about Mathematics: The Philosophy of Mathematics" gives a nice introduction into that topic, discussing several schools of philosophy and their thinkers (without forcing the authors pov on the reader). We had a seminar discussing that book, and while most philosophy students seemed happy to skip that seminar (too much math/logic), those of us with a MINT background (CS major here) found it quite amazing.