scientific article
From MaRDI portal
Publication:3048829
zbMath0414.03036MaRDI QIDQ3048829
Dirk van Dalen, Richard Statman
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
apartnessfinitely axiomatizableequality fragmentintuitionistic theory of linear ordermetamathematics of constructive systems
Related Items (1)
This page was built for publication: