scientific article; zbMATH DE number 3450172
From MaRDI portal
Publication:4773684
zbMath0287.02017MaRDI QIDQ4773684
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The system \({\mathcal F}\) of variable types, fifteen years later ⋮ Choice and independence of premise rules in intuitionistic set theory
This page was built for publication:
