This type of recursion theory concerns the structure and properties of logical proofs, and seeks to develop formal systems for representing and manipulating these proofs.
This type of recursion theory concerns the structure and properties of logical proofs, and seeks to develop formal systems for representing and manipulating these proofs.