Representation of Łukasiewicz and Post algebras by continuous functions Roberto Cignoli — 1972 Colloquium Mathematicae