Notes on the theory of variable binding term operators

DOI10.1080/01445348308837045zbMath0513.03014OpenAlexW2012778954WikidataQ58438140 ScholiaQ58438140MaRDI QIDQ3657974

Chris Mortensen, Newton C. A. Da Costa

Publication date: 1983

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348308837045

zbMATH Keywords

extensive bibliographyvariable binding term operators

Mathematics Subject Classification ID

Model theory (03C99) General logic (03B99) Set theory (03E99)

Cites Work

• Term logic with choice operator. Revised and Enlarged Translation of the first German Edition
• Theorie der Logischen Auswahlfunktionen
• Variable Binding Term Operators
• Completeness in the theory of types
• Remarks on identity and description in first-order axiom systems
• Variable binding term operators in \(\lambda\)-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Notes on the theory of variable binding term operators