Displaying similar documents to “A Formalisation of Post's m-valued Propositional Calculus.”