including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek to Gödel's incompleteness theorem is also provided. The textbook is ...
As AFROTECH previously reported, the duo made headlines in 2023 for proving the Pythagorean Theorem without circular logic.