Errata to the paper "A theory of propositional types" by L. Henkin Fundamenta Mathematicae 52 (1963), p. 323-344
Tom 53 / 1964
Fundamenta Mathematicae 53 (1964), 119
DOI: 10.4064/fm-53-1-119
