Completeness of the infinitary polyadic axiomatization
From MaRDI portal
Publication:4304130
DOI10.1002/MALQ.19930390122zbMath0804.03048OpenAlexW2161246199MaRDI QIDQ4304130
Publication date: 8 September 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19930390122
Cites Work
This page was built for publication: Completeness of the infinitary polyadic axiomatization