Anzahlquantoren in der Prädikatenlogik

DOI10.1007/BF01973027zbMath0264.02016OpenAlexW1994373396MaRDI QIDQ5680094

Dieter Rödding

Publication date: 1966

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137788

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80)

Related Items (2)

A note onk-axiomatizations of identity ⋮ The unique existential quantifier

This page was built for publication: Anzahlquantoren in der Prädikatenlogik