Topics
Examining the expressiveness and consistency of formal logical systems.
Image attribution: Charlie etienne, CC0, via Wikimedia Commons
Mathematical Logic and Foundations, Model Theory
Faculty
College of Science Associate Dean of Undergraduate Affairs and Director of Online Programs; Associate Professor of Mathematics
