Combinatorially complete systems with operators \(\Xi,F,Q,\Pi,\exists,\neg, \&,lor,\equiv\)
From MaRDI portal
Publication:1240730
zbMath0364.02017MaRDI QIDQ1240730
Publication date: 1976
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
This page was built for publication: Combinatorially complete systems with operators \(\Xi,F,Q,\Pi,\exists,\neg, \&,lor,\equiv\)