A new Arithmetization for finitely many-valued propositional calculi. - Ilkka, Seppo (Commentationes physico-mathematicae. Societas scientiarum Fennica, 1966)