@article{bwmeta1.element.bwnjournal-article-fmv52i1p23bwm,
author = {Leon Henkin},
title = {A theory of prepositional types},
journal = {Fundamenta Mathematicae},
volume = {52},
year = {1963},
pages = {323-344},
zbl = {0127.00609},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv52i1p23bwm}
}
Henkin, Leon. A theory of prepositional types. Fundamenta Mathematicae, Tome 52 (1963) pp. 323-344. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv52i1p23bwm/