1. Extending First Order Logic to Quantify Over Formulas Open Access Author: Miller, Justin Davis Title: Extending First Order Logic to Quantify Over Formulas Area of Honors: Mathematics Keywords: First Order LogicMathematical LogicMathematicsFoundations of Mathematics File: Download master.pdf Thesis Supervisors: Jason Michael Rute, Thesis SupervisorAnne Kirsten Eisentraeger, Thesis Honors Advisor
