1. Extending First Order Logic to Quantify Over Formulas
Open Access
Search Results
Search
Search Constraints
Start Over You searched for: Degree B S Remove constraint Degree: B S Year 2016 Remove constraint Year: 2016 Thesis Supervisor Jason Michael Rute Remove constraint Thesis Supervisor: Jason Michael Rute Keyword First Order Logic Remove constraint Keyword: First Order Logic Author Last Name Miller Remove constraint Author Last Name: Miller