Notes on the theory of variable binding term operators

DOI10.1080/01445348308837045MaRDI QIDQ3657974zbMATH OpenOpenAlexWikidataFDO

Authors Chris Mortensen, N. 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

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

Cites work

• Completeness in the theory of types
• scientific article; zbMATH DE number 3461896 (Why is no real title available?)
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3304001 (Why is no real title available?)
• Remarks on identity and description in first-order axiom systems
• Term logic with choice operator. Revised and Enlarged Translation of the first German Edition
• Theorie der Logischen Auswahlfunktionen
• Variable Binding Term Operators
• Variable binding term operators in \(\lambda\)-calculus

Cited in

(2)

• scientific article; zbMATH DE number 3920432 (Why is no real title available?)
• Corcoran the mathematician

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3657974)