Publication:4014127
From MaRDI portal
zbMath0755.03020MaRDI QIDQ4014127
Publication date: 4 October 1992
03C80: Logic with extra quantifiers and operators
zbMath0755.03020MaRDI QIDQ4014127
Publication date: 4 October 1992
03C80: Logic with extra quantifiers and operators