scientific article; zbMATH DE number 3231072
From MaRDI portal
Publication:5519124
zbMath0143.25101MaRDI QIDQ5519124
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Some work of Lithuanian mathematicians in the domain of mathematical logic and programming ⋮ Linearizing intuitionistic implication