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

DOI10.1007/BF01969438zbMATH Open0158.25202OpenAlexW2331760707MaRDI QIDQ5541325FDOQ5541325

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)