The texts Philosophical and Mathematical Logic and Mathematical Logic should probably fall under Mathematics and Statistics rather than Religion and Philosophy, but seems a nice resource otherwise!
I didn’t manually categorise it, just extracted the Springer categories. Will manually review this tomorrow.
> Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic.
Those topics feel pretty typical of logic as studied in philosophy depts. I think traditionally, a lot of logicians working with formal or mathematical logic worked out of philosophy departments. I've been told that more recently, a lot of them now work out of Comp Sci departments. There just isn't enough of them in one place to have a Dept of Logic I guess! :)
"Mathematical Logic" by Roman Kossak is probably mis-categorized. Topics look like typical math topics. Affiliation is Math Dept at CUNY, Bronx Community College campus. Yeah, probably should be under math section.
But if you still decide to create your own categorisation of the books, I think you should have two different views; the Springer categorisation as the default view and your own categorisation as an alternate view.