scientific article; zbMATH DE number 3583773
From MaRDI portal
Publication:4152216
zbMath0375.02010MaRDI QIDQ4152216
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
This page was built for publication: