Decidable versions of first order logic and cylindric-relativized set algebras (1995)

by I Németi
Venue:In Logic Colloquium ’92