scientific article
From MaRDI portal
Publication:3674653
zbMath0523.03045MaRDI QIDQ3674653
Ieke Moerdijk, Gerrit van der Hoeven
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Models of other mathematical theories (03C65) Intuitionistic mathematics (03F55)
This page was built for publication: