About
This is a puzzle game based on logic and deduction. In this game, you can learn and understand a brand new deduction system, and then take the axioms and rules of deduction as tools, to prove the propositions by entering the code. Features: Understand the axioms and rules of deduction (just like when you are reading a mathematical book) Enter the code and prove the proposition (just like …




