scientific article; zbMATH DE number 3085190
From MaRDI portal
Publication:5822067
zbMath0053.20201MaRDI QIDQ5822067
Publication date: 1953
Full work available at URL: http://www.numdam.org/item?id=CM_1953__11__204_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On Griss algebra, I ⋮ Executability and connexivity in an interpretation of Griss ⋮ Pedagogical second-order \(\lambda \)-calculus ⋮ Constructions and negationless logic