Geodesic
A reduction of the axioms for the theory of prepositional types
Fundamenta Mathematicae, Tome 52 (1963) no. 3, pp. 345-350

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

DOI : 10.4064/fm-52-3-345-350

P. Andrews 1

1 
@article{10_4064_fm_52_3_345_350,
     author = {P. Andrews},
     title = {A reduction of the axioms for the theory of prepositional types},
     journal = {Fundamenta Mathematicae},
     pages = {345--350},
     publisher = {mathdoc},
     volume = {52},
     number = {3},
     year = {1963},
     doi = {10.4064/fm-52-3-345-350},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-52-3-345-350/}
}
TY  - JOUR
AU  - P. Andrews
TI  - A reduction of the axioms for the theory of prepositional types
JO  - Fundamenta Mathematicae
PY  - 1963
SP  - 345
EP  - 350
VL  - 52
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-52-3-345-350/
DO  - 10.4064/fm-52-3-345-350
LA  - en
ID  - 10_4064_fm_52_3_345_350
ER  - 
%0 Journal Article
%A P. Andrews
%T A reduction of the axioms for the theory of prepositional types
%J Fundamenta Mathematicae
%D 1963
%P 345-350
%V 52
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-52-3-345-350/
%R 10.4064/fm-52-3-345-350
%G en
%F 10_4064_fm_52_3_345_350
P. Andrews. A reduction of the axioms for the theory of prepositional types. Fundamenta Mathematicae, Tome 52 (1963) no. 3, pp. 345-350. doi: 10.4064/fm-52-3-345-350

Cité par Sources :