scientific article; zbMATH DE number 3304909
From MaRDI portal
zbMath0192.02901MaRDI QIDQ5586224
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A survey of nonstandard sequent calculi, The Role of Structural Reasoning in the Genesis of Graph Theory, A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction, Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
