Eine Art von Gleichwertigkeit Zahlentheoretischer und Mengentheoretischer Axiomensysteme

DOI10.1007/BF01973340zbMath0169.01201MaRDI QIDQ5555687

Walburga Rödding

Publication date: 1968

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

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

zbMATH Keywords

recursion theory, constructive mathematics

Cites Work

• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Unnamed Item

This page was built for publication: Eine Art von Gleichwertigkeit Zahlentheoretischer und Mengentheoretischer Axiomensysteme