article

Proof theory is the mathematical study of formalised arguments.

See also Proofs category.

Mathematical logic | Theories

Category:证明论

 

This article is licensed under the GNU Free Documentation License. It uses material from the "Category:Proof theory".

Home Pageartsbusinesscomputersgameshealthhospitalshomekids & teensnewsphysiciansrecreationreferenceregionalscienceshoppingsocietysportsworld