@article{bwmeta1.element.bwnjournal-article-fmv53i1p25bwm,
author = {Leon Henkin},
title = {Errata to the paper "A theory of propositional types" by L. Henkin Fundamenta Mathematicae 52 (1963), p. 323-344},
journal = {Fundamenta Mathematicae},
volume = {53},
year = {1964},
pages = {119},
zbl = {0127.00609},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv53i1p25bwm}
}
Henkin, Leon. Errata to the paper "A theory of propositional types" by L. Henkin Fundamenta Mathematicae 52 (1963), p. 323-344. Fundamenta Mathematicae, Tome 53 (1964) p. 119. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv53i1p25bwm/