scientific article; zbMATH DE number 3009954
From MaRDI portal
Publication:4754493
zbMath0007.19304MaRDI QIDQ4754493
No author found.
Publication date: 1933
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Gödel on deduction ⋮ Sequent calculi for semi-De Morgan and De Morgan algebras ⋮ A generalization of Curry's theorem ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Gödel's natural deduction
This page was built for publication:
