scientific article; zbMATH DE number 3496090

zbMATH Open0317.02007MaRDI QIDQ4077976FDOQ4077976

Authors: Arend Heyting 

Publication date: 1974

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

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intermediate logics (03B55) Intuitionistic mathematics (03F55)

Cited In (2)

• Realizability and intuitionistic logic
• Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting

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