DOI10.1007/BF02025115zbMath0289.02012MaRDI QIDQ4777259
Werner Markwald
Publication date: 1974 Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave) Full work available at URL: https://eudml.org/doc/137881
Mathematics Subject Classification ID
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
Related Items
Cites Work