Search

Author:

Miller, Justin Davis

Title:

Extending First Order Logic to Quantify Over Formulas

Area of Honors:

Mathematics

Keywords:

First Order Logic
Mathematical Logic
Mathematics
Foundations of Mathematics

File:

Download master.pdf

Thesis Supervisors:

Jason Michael Rute, Thesis Supervisor
Anne Kirsten Eisentraeger, Thesis Honors Advisor