Das Auflösungsproblem in der Klassenlogik
From MaRDI portal
Publication:5807660
DOI10.1007/BF01982011zbMath0044.24901OpenAlexW2051988544MaRDI QIDQ5807660
Publication date: 1951
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137714
This page was built for publication: Das Auflösungsproblem in der Klassenlogik