scientific article; zbMATH DE number 3296223

MaRDI QIDQ5579475zbMATH OpenFDO

Authors Haskell B. Curry

Publication date 1968

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(8)

• A universal deduction theorem
• scientific article; zbMATH DE number 5866432 (Why is no real title available?)
• scientific article; zbMATH DE number 6019825 (Why is no real title available?)
• scientific article; zbMATH DE number 5148397 (Why is no real title available?)
• scientific article; zbMATH DE number 1205874 (Why is no real title available?)
• scientific article; zbMATH DE number 1086653 (Why is no real title available?)
• The permutability of rules in the classical inferential calculus
• Normalization and excluded middle. I

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 Q5579475)