Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen

DOI10.1007/BF01974145MaRDI QIDQ5628095zbMATH OpenOpenAlexFDO

Authors Jörg Flum

Publication date 1971

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

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cites work

• scientific article; zbMATH DE number 3251408 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3186865 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• On the Metamathematics of Rings and Integral Domains

This page was built for publication: Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen

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