scientific article
From MaRDI portal
Publication:3858263
zbMath0424.03029MaRDI QIDQ3858263
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On a second order propositional operator in intuitionistic logic ⋮ Pitts' quantifiers are not topological quantification
This page was built for publication: