Zur Stufenreduktion von Kalkülen

DOI10.1007/BF01976263MaRDI QIDQ5541307zbMATH OpenFDO

Authors H. Fiedler

Publication date 1965

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

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

zbMATH Keywords

mathematical logic

Cites work

• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 3062117 (Why is no real title available?)
• Formal Reductions of the General Combinatorial Decision Problem
• Recursively enumerable sets of positive integers and their decision problems

This page was built for publication: Zur Stufenreduktion von Kalkülen

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