scientific article; zbMATH DE number 5840915
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52) Intermediate logics (03B55) Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)
- Logic of proofs
- Logic. Commented exercises and solutions
- A survey of nonstandard sequent calculus
- scientific article; zbMATH DE number 192927 (Why is no real title available?)
- scientific article; zbMATH DE number 556651 (Why is no real title available?)
- scientific article; zbMATH DE number 1526721 (Why is no real title available?)
- scientific article; zbMATH DE number 1361537 (Why is no real title available?)
- scientific article; zbMATH DE number 851275 (Why is no real title available?)
- Natural derivations for Priest, an introduction to non-classical logic
- scientific article; zbMATH DE number 2196613 (Why is no real title available?)
- scientific article; zbMATH DE number 6787691 (Why is no real title available?)
- Rational proofs
- Dick de Jongh on intuitionistic and provability logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069241)
