TY  - JOUR
AU  - Alan Rose
TI  - The degree of completeness of a partial system of the2-valued Propositional Calculus.
JO  - Mathematische Zeitschrift
PY  - 1951
SP  - 181
EP  - 183
VL  - 54
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZ_1951__54_169220/
ID  - MZ_1951__54_169220
ER  -