scientific article; zbMATH DE number 3643258

zbMATH Open0414.03036MaRDI QIDQ3048829FDOQ3048829

Authors: Dirk van Dalen, Richard Statman 

Publication date: 1979

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

zbMATH Keywords

apartnessfinitely axiomatizableequality fragmentintuitionistic theory of linear ordermetamathematics of constructive systems

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cited In (1)

• Equality and Apartness in Bi-intuitinistic Logic

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