scientific article; zbMATH DE number 3503198

MaRDI QIDQ4083397zbMATH OpenFDO

Authors Sören Stenlund

Publication date 1975

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited in

(5)

• Descriptions in mathematical logic
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• A novel approach to equality
• When Iota meets lambda
• Incomplete descriptions and qualified definiteness

This page was built for publication:

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