scientific article
From MaRDI portal
Publication:3755454
zbMath0619.03039MaRDI QIDQ3755454
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)
This page was built for publication: