Analogues of Rice's theorem for semantic classes of propositions
From MaRDI portal
Publication:1803023
DOI10.1007/BF01980248zbMath0777.03011MaRDI QIDQ1803023
Publication date: 29 June 1993
Published in: Algebra and Logic (Search for Journal in Brave)
03C57: Computable structure theory, computable model theory
Related Items
Cites Work