The book then expands to explore arithmetic as an extension of predicate logic, incorporating axioms like equality and induction. Notably, Novikov introduces a novel reduction process to demonstrate ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results