scientific article; zbMATH DE number 3009954

MaRDI QIDQ4754493zbMATH OpenFDO

Authors Kurt Gödel

Publication date 1933

zbMATH Keywords

foundations, philosophy, logic

Cited in

(6)

• Sequent calculi for semi-De Morgan and De Morgan algebras
• Gödel's natural deduction
• Gödel on deduction
• A generalization of Curry's theorem
• WHAT IS A RULE OF INFERENCE?
• Uniform functional interpretations

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