scientific article; zbMATH DE number 3059607
From MaRDI portal
Publication:5798786
zbMath0039.24404MaRDI QIDQ5798786
Publication date: 1950
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Executability and connexivity in an interpretation of Griss ⋮ Unnamed Item ⋮ Pedagogical second-order \(\lambda \)-calculus ⋮ Embedding intuitionistic-type theory in negationless-type theory ⋮ A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic