An associative calculus with an unsolvable problem of equivalence
From MaRDI portal
Publication:5608769
DOI10.1090/trans2/094/03zbMath0208.01907OpenAlexW4232429623MaRDI 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
Related Items
Partition-based logical reasoning for first-order and propositional theories ⋮ Frontier between decidability and undecidability: A survey