Das Auflösungsproblem in der Klassenlogik
From MaRDI portal
Publication:5802119
DOI10.1007/BF01976313zbMath0041.34805OpenAlexW4230488381MaRDI QIDQ5802119
Publication date: 1950
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137711
This page was built for publication: Das Auflösungsproblem in der Klassenlogik