TY - JOUR AU - P. Hertz TI - Über Axiomensysteme für beliebige Satzsysteme. Teil II. Sätze höheren Grades. JO - Mathematische Annalen PY - 1923 SP - 76 EP - 102 VL - 89 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAN_1923__89_158993/ ID - MAN_1923__89_158993 ER -