scientific article; zbMATH DE number 3053708
From MaRDI portal
Publication:5792924
zbMath0035.14901MaRDI QIDQ5792924
Publication date: 1947
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Equilibrium logic ⋮ Equality and equivalence, intuitionistically ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs
This page was built for publication: