Modelling Puzzles in First Order Logic by Groza, Adrian NEUF
76,85 €
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:
