Model theory

Home > Philosophy > Analytical Philosophy > Logic > Model theory

Model theory is concerned with the study of mathematical structures as models of formal languages, and their relation to logical systems.