any logical reasoning can be studied mathematically. I think some branch of stats covers your snake example. If you come up with some form of logic that mathematicians haven't studied, then I'm sure they will undertake a mathematical analysis of it.

Anyway getting back to the original question, the type of logic required to solve sudoku puzzles is definately mathematical, whether or not you agree that logic is a subset of mathematics.