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
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