eHT Explore

Start Over Degree B S Thesis Supervisor Anne Kirsten Eisentraeger Author Last Name Miller

1. Extending First Order Logic to Quantify Over Formulas

open_access

Open Access

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