Variable Binding Term Operators
From MaRDI portal
Publication:5672866
DOI10.1002/malq.19720181202zbMath0257.02013MaRDI 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
03B10: Classical first-order logic
03C80: Logic with extra quantifiers and operators
03B99: General logic
Related Items
Applicable Mathematics in a Minimal Computational Theory of Sets, Intuitionistic ϵ‐ and τ‐calculi, On a synonymy relation for extensional first order theories. I: A notion of synonymy, Notes on the theory of variable binding term operators, Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985, Are there paradoxes of the set of all sets?