Elimination of bound variables in logic with an arbitrary quantifier

DOI10.1007/BF02123830zbMath0322.02009MaRDI QIDQ1223274

Roman Doraczynski

Publication date: 1973

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Cites Work

• On a generalization of quantifiers
• A system of axiomatic set theory—Part I

This page was built for publication: Elimination of bound variables in logic with an arbitrary quantifier