Mathematical Logic Foundations

Research Frontiers in Abstract Logic and Lindstrom Theorems

Develops general theory of logical systems and characterizes first-order logic as maximal by its compactness and completeness.

All Mathematical Logic & Foundations PhD categories