Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
Apr 26, 2012
About this article