TPTP Reference: Neu25


@Article{Neu25,
    Author       = "Neumann, J. von",
    Year         = "1925",
    Title        = "{Eine Axiomatisierung der Mengenlehre}",
    Journal      = "Journal f{\"u}r die reine und angewandte Mathematik",
    Volume       = "154",
    Pages        = "219-240",
    Comment      = "TPTPRef"
}