An associative calculus with an unsolvable problem of equivalence
From MaRDI portal
Publication:5608769
DOI10.1090/trans2/094/03zbMath0208.01907MaRDI QIDQ5608769
Publication date: 1970
Published in: Sixteen Papers on Logic and Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/trans2/094/03
03D99: Computability and recursion theory
Related Items
Frontier between decidability and undecidability: A survey, Partition-based logical reasoning for first-order and propositional theories