Modelling Puzzles in First Order Logic by Groza, Adrian [Paperback] NEU
62,66 €
It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles.
Jetzt bei Ebay: