A reduction of the axioms for the theory of prepositional types
Andrews, P.
Fundamenta Mathematicae, Tome 52 (1963), p. 345-350 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1963-01-01
EUDML-ID : urn:eudml:doc:213715 
@article{bwmeta1.element.bwnjournal-article-fmv52i1p24bwm,
     author = {P. Andrews},
     title = {A reduction of the axioms for the theory of prepositional types},
     journal = {Fundamenta Mathematicae},
     volume = {52},
     year = {1963},
     pages = {345-350},
     zbl = {0127.00701},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv52i1p24bwm}
}

Andrews, P. A reduction of the axioms for the theory of prepositional types. Fundamenta Mathematicae, Tome 52 (1963) pp. 345-350. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv52i1p24bwm/