Questions about analysis of proofs in theories
Proof theory is one of the main branches of logic which studies proofs in various systems and theory manipulations.
The functions in proof theory should also be tagged with lo.logic.
About
Stats
|
created |
14 years ago |
|
viewed |
30 times |
|
editors |
1 |
