This type of recursion theory focuses on the properties of mathematical models and their relationships with logical systems, and determining when a model is valid or not.
This type of recursion theory focuses on the properties of mathematical models and their relationships with logical systems, and determining when a model is valid or not.