Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität

DOI10.1007/BF01969438MaRDI QIDQ5541325zbMATH OpenOpenAlexFDO

Authors Ronald Jensen

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/137777

zbMATH Keywords

mathematical logic

Cited in

(1)

• The characterization of monadic logic

This page was built for publication: Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität

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