scientific article
From MaRDI portal
Publication:3261419
zbMath0088.24901MaRDI QIDQ3261419
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels ⋮ Intuitive counterexamples for constructive fallacies ⋮ On the computational content of the axiom of choice
This page was built for publication: