scientific article; zbMATH DE number 3196253
From MaRDI portal
Publication:5732646
zbMath0121.25306MaRDI QIDQ5732646
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Harmony and autonomy in classical logic ⋮ On sequence-conclusion natural deduction systems ⋮ CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
This page was built for publication:
