Variable Binding Term Operators
From MaRDI portal
Publication:5672866
DOI10.1002/MALQ.19720181202zbMath0257.02013OpenAlexW2070231112MaRDI QIDQ5672866
No author found.
Publication date: 1972
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19720181202
Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80) General logic (03B99)
Related Items (6)
On a synonymy relation for extensional first order theories. I: A notion of synonymy ⋮ Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985 ⋮ Intuitionistic ϵ‐ and τ‐calculi ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Are there paradoxes of the set of all sets? ⋮ Notes on the theory of variable binding term operators
This page was built for publication: Variable Binding Term Operators
