Proof Theory Research Area

From GM-RKB
Jump to navigation Jump to search

A Proof Theory Research Area is a Mathematical Logic Research Area whose mathematical object of analysis are mathematical proofs.



References

2014

  1. E.g., Wang (1981), pp. 3–4, and Barwise (1978).