scientific article; zbMATH DE number 3009954

zbMATH Open0007.19304MaRDI QIDQ4754493FDOQ4754493

Authors: Kurt Gödel 

Publication date: 1933

Title of this publication is not available (Why is that?)

zbMATH Keywords

foundations, philosophy, logic

Cited In (5)

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

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)