Metadata
Author: WikiMatrix
Data
English[en]
The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory, and the study of deductive systems is the branch that is known as proof theory.
French[fr]
L'étude de l'interprétation des systèmes formels est la branche de la logique mathématique appelée théorie des modèles, et l'étude des systèmes déductifs est appelée la théorie de la démonstration.