Modelling Puzzles in First Order Logic - Adrian Groza (Springer, 2021)