Free Interpretation, Quotient Interpretation and Substitution of a Letter With a Term for First Order Languages
Formalized Mathematics - Poland
doi 10.2478/v10037-011-0028-z
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2011
Authors
Publisher
Walter de Gruyter GmbH