scientific article; zbMATH DE number 3090956
From MaRDI portal
Publication:5829776
zbMath0057.00502MaRDI QIDQ5829776
Publication date: 1954
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH, Examining the Role of Logic in Teaching Proof, Variable declarations in natural deduction, Inconsistencies in the argument leading to the rule of succession, Jean van Heijenoort's conception of modern logic, in historical perspective, Stanisław Jaśkowski and Natural Deduction Systems, A Brief History of Natural Deduction, A folk meta-theorem in the foundations of utility theory
