On the unity of algebra and logic
1988 ◽
pp. 221-229
◽