scientific article; zbMATH DE number 3042973

zbMATH Open0027.15303MaRDI QIDQ5782217FDOQ5782217

Authors: Arend Heyting 

Publication date: 1941

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

zbMATH Keywords

intuitionistic algebra

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Applications of logic to commutative algebra (13L05)

Cited In (4)

• A very weak Nullstellensatz over Heyting fields
• V. Yankov’s Contributions to Propositional Logic
• Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
• Semigroups with apartness

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