Untersuchungen über das Eliminationsproblem der mathematischen Logik.

DOI10.1007/BF01448035zbMATH Open60.0022.01OpenAlexW2057503265MaRDI QIDQ2616499FDOQ2616499

Wilhelm Ackermann

Publication date: 1934

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/159730

Cited In (1)

• Prenex universal first-order safety properties

This page was built for publication: Untersuchungen über das Eliminationsproblem der mathematischen Logik.

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