scientific article; zbMATH DE number 3053707

MaRDI QIDQ5792923zbMATH OpenFDO

Authors Evert W. Beth

Publication date 1947

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited in

(7)

• scientific article; zbMATH DE number 3867321 (Why is no real title available?)
• INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’
• scientific article; zbMATH DE number 3983155 (Why is no real title available?)
• Intuitionistic completeness of first-order logic
• The prehistory of the subsystems of second-order arithmetic
• scientific article; zbMATH DE number 964558 (Why is no real title available?)
• Sheaf models and massless fields

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