Über Axiomensysteme beliebiger Satzsysteme.

MaRDI QIDQ1834564zbMATH OpenFDO

Authors Paul Hertz

Publication date 1929

Cited in

(1)

• Uniformization and skolem functions in the class of trees

This page was built for publication: Über Axiomensysteme beliebiger Satzsysteme.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1834564)