Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen

DOI10.1007/BF01974145zbMATH Open0223.02018OpenAlexW2042284513MaRDI QIDQ5628095FDOQ5628095

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Metamathematics of Rings and Integral Domains
• Title not available (Why is that?)
• Title not available (Why is that?)

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)