Three substitution-instance interpretations
From MaRDI portal
Publication:759135
DOI10.1305/ndjfl/1093888395zbMath0271.02034OpenAlexW1976799284MaRDI QIDQ759135
Publication date: 1978
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093888395
This page was built for publication: Three substitution-instance interpretations