scientific article; zbMATH DE number 3650551

MaRDI QIDQ3208649zbMATH OpenFDO

Authors Dirk van Dalen

Publication date 1979

zbMATH Keywords

interpretations of intuitionistic logicssurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Cited in

(1)

• Algorithmic theories of problems. A constructive and a non-constructive approach

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