An undecidable two sorted predicate calculus

DOI10.2307/2270976zbMath0187.27704OpenAlexW2103957426MaRDI QIDQ5579020

Could not fetch data.

Publication date: 1969

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270976

zbMATH Keywords

Could not fetch data.