Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
26 apr 2012
INFORMAZIONI SU QUESTO ARTICOLO
Pubblicato online: 26 apr 2012
Pagine: 193 - 203
DOI: https://doi.org/10.2478/v10037-011-0028-z
Parole chiave
This content is open access.
Caminati, Marco