Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen

DOI10.1007/BF01969420zbMath0055.00504MaRDI QIDQ5825664

No author found.

Publication date: 1954

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (1)

Unprovability results for clause set cycles

This page was built for publication: Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen