Part of the Mathematics Commons
Constructing a Categorical Framework of Metamathematical Comparison Between Deductive Systems of Logic, Alex Gabriel Goodlad Senior Projects Spring 2016
PDF
Advanced Search