Proof calculus

In mathematical logic, a proof calculus or a proof system is built to prove statements.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search