scientific article; zbMATH DE number 3616421
From MaRDI portal
Publication:4180345
zbMath0397.03037MaRDI QIDQ4180345
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ A new model for intuitionistic analysis
This page was built for publication:
