Logic

Research Frontiers in Computable Model Theory and Algorithmic Content

Studies model-theoretic properties focusing on computability constraints and the algorithmic extractable from formal theories.

All Logic PhD categories