A new arithmetization for finitely many-valued propositional calculi
Series: Societas Scientiarum Fennica. Commentationes physico-mathematicae,; v. 32, nr. 8, 1966; Commentationes physico-mathematicae ;; v. 32, nr. 8.
Published: 1966
Place of publication: [Helsinki
Language: eng
Number of pages: 13
Subjects: Logic, Symbolic and mathematical.
Notes: Bibliography: p. 13.
Caption title.
Author's name appears in the index and on the cover of v. 32.