Title: A new arithmetization for finitely many-valued propositional calculi
First published: 1966
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: Q60 .F555 vol. 32, no. 8