Title: Models, algebras, and proofs
First published: 1999
Subjects: Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Algebraic logic
LC classification: QA9.A1 L37 1996