TY - JOUR AU - Y. Bar-Hillel TI - Bolzano's propositional Logic. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1950 SP - 65 EP - 98 VL - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1950__1_137716/ ID - AMLG_1950__1_137716 ER -