Zum Eliminationsproblem der mathematischen Logik
From MaRDI portal
Publication:1840347
DOI10.1007/BF01472201zbMath0011.00302MaRDI QIDQ1840347
Publication date: 1935
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159757
Related Items (4)
Symbol elimination and applications to parametric entailment problems ⋮ Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC ⋮ Bases for first-order theories and subtheories
Cites Work
This page was built for publication: Zum Eliminationsproblem der mathematischen Logik