scientific article; zbMATH DE number 3304909

zbMath0192.02901MaRDI QIDQ5586224

Paul Bernays

Publication date: 1965

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Related Items (4)

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

This page was built for publication: